Def freeCommRingPemptyEquivInt

Modification history

2026-02-10 16:30
Mathlib/RingTheory/FreeCommRing.lean
chore: rename "Pempty" to "PEmpty" in two definitions (#34971) …
Deleted freeCommRingPemptyEquivIntView on Github →
2023-05-17 06:12
Mathlib/RingTheory/FreeCommRing.lean
feat: port RingTheory.FreeCommRing (#3994) …
Added freeCommRingPemptyEquivIntView on Github →