Theorem IsModuleTopology.iso

Modification history

2025-11-24 11:02
Mathlib/Topology/Algebra/Module/ModuleTopology.lean
feat(Topology): generalize `IsModuleTopology` lemmas to semilinear maps (#31429)
Deleted IsModuleTopology.isoView on Github →
2024-10-19 21:32
Mathlib/Topology/Algebra/Module/ModuleTopology.lean
feat: topology on module over topological ring (#16895) …
Added IsModuleTopology.isoView on Github →