Mathlib Changelog
v4
Changelog
About
Github
Theorem
charP_of_card_eq_prime
Modification history
2024-06-25 09:57
Mathlib/Algebra/CharP/CharAndCard.lean
feat(Mathlib.NumberTheory.Cyclotomic.Three): add various results (#13798) …
Added
charP_of_card_eq_prime
View on Github →