Theorem IsLocalization.card_le

Modification history

2024-11-11 08:54
Mathlib/RingTheory/Localization/Cardinality.lean
feat: add results on cardinality of localization (#18004) …
Deleted IsLocalization.card_leView on Github →
2024-08-07 07:08
Mathlib/RingTheory/Localization/Cardinality.lean
chore: backports for leanprover/lean4#4814 (part 23) (#15514)
Modified IsLocalization.card_leView on Github →
2023-07-03 11:03
Mathlib/RingTheory/Localization/Cardinality.lean
fix: precedence of `#` (#5623)
Modified IsLocalization.card_leView on Github →
2023-05-22 12:09
Mathlib/RingTheory/Localization/Cardinality.lean
feat: port RingTheory.Localization.Cardinality (#4192)
Added IsLocalization.card_leView on Github →