Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.projIic_of_le
Modification history
2024-01-07 19:34
Mathlib/Data/Set/Intervals/ProjIcc.lean
chore(*): replace `$` with `<|` (#9319) …
Modified
Set.projIic_of_le
View on Github →
2023-07-14 15:46
Mathlib/Data/Set/Intervals/ProjIcc.lean
feat: Extending from `Ici a` (#5829) …
Added
Set.projIic_of_le
View on Github →