Theorem IsLocalization.card

Modification history

2024-08-07 07:08

Mathlib/RingTheory/Localization/Cardinality.lean

chore: backports for leanprover/lean4#4814 (part 23) (#15514)

Modified IsLocalization.card View on Github →

2023-07-03 11:03

Mathlib/RingTheory/Localization/Cardinality.lean

fix: precedence of `#` (#5623)

Modified IsLocalization.card View on Github →

2023-05-22 12:09

Mathlib/RingTheory/Localization/Cardinality.lean

feat: port RingTheory.Localization.Cardinality (#4192)

Added IsLocalization.card View on Github →