Def Topology.IsGeneratedBy.homeomorph

Modification history

2026-04-19 00:33
Mathlib/Topology/Convenient/GeneratedBy.lean
chore: adaptations for overlapping instances linter (#38151) …
Modified Topology.IsGeneratedBy.homeomorphView on Github →
2025-10-24 15:50
Mathlib/Topology/Convenient/GeneratedBy.lean
feat(Topology): the topology generated by a family of spaces (#29341) …
Added Topology.IsGeneratedBy.homeomorphView on Github →