mathlib
543359ce - feat(field_theory/finite): Chevalley–Warning (#1564)

Commit

5 years ago

feat(field_theory/finite): Chevalley–Warning (#1564)

Author

jcommelin

jcommelin

Parents

Loading