Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.projIcc_eq_right
Modification history
2023-07-14 15:46
Mathlib/Data/Set/Intervals/ProjIcc.lean
feat: Extending from `Ici a` (#5829) …
Modified
Set.projIcc_eq_right
View on Github →
2023-01-19 10:36
Mathlib/Data/Set/Intervals/ProjIcc.lean
chore: format by line breaks with long lines (#1529) …
Modified
Set.projIcc_eq_right
View on Github →
2022-12-16 03:51
Mathlib/Data/Set/Intervals/ProjIcc.lean
feat port:Data.Set.Intervals.ProjIcc (#1051) …
Added
Set.projIcc_eq_right
View on Github →