Theorem StrictMono.mapsTo_Ico

Modification history

2023-09-28 12:57
Mathlib/Data/Set/Intervals/Image.lean
feat(Data/Set/Intervals/Image): Complete API (#7146) …
Modified StrictMono.mapsTo_IcoView on Github →
2023-08-03 05:30
Mathlib/Data/Set/Intervals/Image.lean
feat: add instances for intervals (#5957) …
Added StrictMono.mapsTo_IcoView on Github →