Theorem CharP.quotient

Modification history

2023-03-29 05:49
Mathlib/Algebra/CharP/Quotient.lean
feat: port Algebra.CharP.Quotient (#3131)
Added CharP.quotientView on Github →