Def FreeRing.subsingletonEquivFreeCommRing

Modification history

2023-05-17 06:12
Mathlib/RingTheory/FreeCommRing.lean
feat: port RingTheory.FreeCommRing (#3994) …
Added FreeRing.subsingletonEquivFreeCommRingView on Github →