Def OreLocalization.universalMulHom
Modification history
2024-10-15 06:04
Mathlib/GroupTheory/OreLocalization/Basic.lean
chore(RingTheory/OreLocalization): split into `GroupTheory.OreLocalization` (#17730) …
Modified OreLocalization.universalMulHomView on Github →2024-07-26 01:01
Mathlib/RingTheory/OreLocalization/Basic.lean
chore: robustifying for debug.byAsSorry (part 4) (#15125)
Modified OreLocalization.universalMulHomView on Github →