Theorem ContinuousLinearEquiv.coe_ofIsHomeomorph

Modification history

2026-06-24 17:13

Mathlib/Topology/Algebra/Module/Equiv.lean

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

Added ContinuousLinearEquiv.coe_ofIsHomeomorph View on Github →