Mathlib Changelog
v4
Changelog
About
Github
Theorem
OreLocalization.cardinalMk
Modification history
2025-07-22 20:14
Mathlib/RingTheory/OreLocalization/Cardinality.lean
fix(NonZeroDivisors): swap left and right (#27224) …
Modified
OreLocalization.cardinalMk
View on Github →
2024-11-11 08:54
Mathlib/RingTheory/OreLocalization/Cardinality.lean
feat: add results on cardinality of localization (#18004) …
Added
OreLocalization.cardinalMk
View on Github →