Theorem OreLocalization.numeratorHom_inj
Modification history
2025-07-22 20:14
Mathlib/RingTheory/OreLocalization/Ring.lean
fix(NonZeroDivisors): swap left and right (#27224) …
Modified OreLocalization.numeratorHom_injView on Github →2024-06-10 19:57
Mathlib/RingTheory/OreLocalization/Basic.lean
chore(RingTheory/OreLocalization/Basic): Split file and to-additivise (#13559)
Modified OreLocalization.numeratorHom_injView on Github →