Theorem LocalizedModule.mk_mul_mk'

Modification history

2025-12-28 17:51
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
chore: unify `LocalizedModule` and `OreLocalization` (#31862) …
Added LocalizedModule.mk_mul_mk'View on Github →