`OAI/Combinatorics/Ryser/Field/`

26 declarations, 0 contain sorry, 0 declared as axioms; 4 files

Files

Extension.lean 8 declarations
ExtensionSubfields.lean 5 declarations
OddSubfields.lean 6 declarations
SubfieldBound.lean 7 declarations