Theorem Monotone.IccExtend

Modification history

2023-07-14 15:46

Mathlib/Data/Set/Intervals/ProjIcc.lean

feat: Extending from `Ici a` (#5829) …

Deleted Monotone.IccExtend View on Github →

2022-12-16 03:51

Mathlib/Data/Set/Intervals/ProjIcc.lean

feat port:Data.Set.Intervals.ProjIcc (#1051) …

Added Monotone.IccExtend View on Github →