Theorem MonotoneOn.image_uIcc_subset

Modification history

2023-09-28 12:57
Mathlib/Data/Set/Intervals/UnorderedInterval.lean
feat(Data/Set/Intervals/Image): Complete API (#7146) …
Added MonotoneOn.image_uIcc_subsetView on Github →