Theorem Ring.DimensionLEOne.of_ringEquiv

Modification history

2026-03-09 18:09
Mathlib/RingTheory/DedekindDomain/Basic.lean
feat(Ringtheory/DedekindDomain): add RingEquiv lemmas (#35532) …
Added Ring.DimensionLEOne.of_ringEquivView on Github →