Theorem pNilradical_eq_bot_of_frobenius_inj

Modification history

2025-04-09 03:56
Mathlib/FieldTheory/IsPerfectClosure.lean
feat: generalize Mathlib.FieldTheory (#23191) …
Modified pNilradical_eq_bot_of_frobenius_injView on Github →
2024-03-12 11:06
Mathlib/FieldTheory/IsPerfectClosure.lean
feat(FieldTheory/IsPerfectClosure): predicate `IsPerfectClosure` (#8696) …
Added pNilradical_eq_bot_of_frobenius_injView on Github →