`FormalConjecturesForMathlib/FieldTheory/`

43 declarations, 0 contain sorry, 0 declared as axioms; 3 files

Folders

MvRatFunc/ 1 files, 2 declarations

Files

AbsoluteGaloisGroup.lean 2 declarations
MilnorKTheory.lean 39 declarations