Mathlib Changelog
v4
Changelog
About
Github
Def
freeCommRingPunitEquivPolynomialInt
Modification history
2026-02-15 14:33
Mathlib/RingTheory/FreeCommRing.lean
chore: rename "Punit" to "PUnit" in definitions (#34972) …
Deleted
freeCommRingPunitEquivPolynomialInt
View on Github →
2023-05-17 06:12
Mathlib/RingTheory/FreeCommRing.lean
feat: port RingTheory.FreeCommRing (#3994) …
Added
freeCommRingPunitEquivPolynomialInt
View on Github →