Commit 2023-10-23 14:19 94927403

View on Github →

feat(Algebra/CharP/Quotient): iff lemmas (#7748)

Estimated changes

added theorem CharP.quotient_iff