Theorem exists_mem_Icc_isFixedPt_of_mapsTo

Modification history

2024-08-01 10:24
Mathlib/Topology/Order/IntermediateValue.lean
feat(IntermediateValue): add `IsFixedPt` corollaries (#15395) …
Added exists_mem_Icc_isFixedPt_of_mapsToView on Github →