Theorem LinearEquiv.isHomeomorph_iff

Modification history

2026-06-24 17:13

Mathlib/Topology/Algebra/Module/Equiv.lean

feat(Mathlib.Topology.Algebra.Module.Equiv): add results on IsHomeomorph (#39476) …

Modified LinearEquiv.isHomeomorph_iff View on Github →

2026-05-02 21:31

Mathlib/Topology/Algebra/Module/Equiv.lean

feat(Topology/Homeomorph): add Equiv.IsHomeomorph_iff and LinearEquiv.IsHomeomorph_iff (#38660) …

Added LinearEquiv.isHomeomorph_iff View on Github →