Theorem Set.iccExtend_apply

Modification history

2023-09-06 20:46
Mathlib/Data/Set/Intervals/ProjIcc.lean
chore: tidy various files (#6924)
Deleted Set.iccExtend_applyView on Github →
2023-07-14 15:46
Mathlib/Data/Set/Intervals/ProjIcc.lean
feat: Extending from `Ici a` (#5829) …
Added Set.iccExtend_applyView on Github →