Theorem IsLocalizedModule.iso_symm_apply

Modification history

2025-02-13 14:10
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
chore(RingTheory/IsLocalizedModule): extend API (#21483) …
Added IsLocalizedModule.iso_symm_applyView on Github →