Def Function.RightInverse.homeomorph

Modification history

2023-11-04 17:09
Mathlib/Topology/ContinuousFunction/Basic.lean
feat: descend a continuous map along a quotient map (#8090) …
Added Function.RightInverse.homeomorphView on Github →