Theorem exists_mem_uIcc_isFixedPt

Modification history

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