Mathlib Changelog
v4
Changelog
About
Github
Def
FreeCommRing.of
Modification history
2023-05-17 06:12
Mathlib/RingTheory/FreeCommRing.lean
feat: port RingTheory.FreeCommRing (#3994) …
Added
FreeCommRing.of
View on Github →