Theorem Set.IccExtend_apply

Modification history

2023-09-06 20:46
Mathlib/Data/Set/Intervals/ProjIcc.lean
chore: tidy various files (#6924)
Added Set.IccExtend_applyView on Github →