Library Coq.field.LegacyField
Require
Export
LegacyField_Compl
.
Require
Export
LegacyField_Theory
.
Require
Export
LegacyField_Tactic
.