Theorem IsFractionRing.lift_cardinalMk

Modification history

2024-11-11 08:54
Mathlib/RingTheory/Localization/Cardinality.lean
feat: add results on cardinality of localization (#18004) …
Added IsFractionRing.lift_cardinalMkView on Github →