Mathlib Changelog
v4
Changelog
About
Github
Def
freeCommRingPEmptyEquivInt
Modification history
2026-02-10 16:30
Mathlib/RingTheory/FreeCommRing.lean
chore: rename "Pempty" to "PEmpty" in two definitions (#34971) …
Added
freeCommRingPEmptyEquivInt
View on Github →