Mathlib Changelog
v4
Changelog
About
Github
Theorem
sub_mem_pNilradical_iff_pow_expChar_pow_eq
Modification history
2024-03-12 11:06
Mathlib/FieldTheory/IsPerfectClosure.lean
feat(FieldTheory/IsPerfectClosure): predicate `IsPerfectClosure` (#8696) …
Added
sub_mem_pNilradical_iff_pow_expChar_pow_eq
View on Github →