Theorem StrictMono.strictMonoOn_IicExtend

Modification history

2023-07-14 15:46
Mathlib/Data/Set/Intervals/ProjIcc.lean
feat: Extending from `Ici a` (#5829) …
Added StrictMono.strictMonoOn_IicExtendView on Github →