Theorem CharP.exists'

Modification history

2024-05-11 02:00
Mathlib/Algebra/CharP/Basic.lean
chore(Algebra/CharP/Basic): Split (#12710) …
Modified CharP.exists'View on Github →
2024-01-10 20:21
Mathlib/Algebra/CharP/Basic.lean
feat(Algebra/CharP/ExpChar): add more results for `ExpChar` parallel to `CharP` (#9573)
Added CharP.exists'View on Github →