Theorem IsLocalizedModule.ext

Modification history

2024-12-09 17:33
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
chore(Module/LocalizedModule): rename `ringHom_ext` to `ext` (#19787) …
Added IsLocalizedModule.extView on Github →