basic): collection of lemmas of the form I??_of_I?? (#4918)

Commit

5 years ago

feat(data/set/intervals/basic): collection of lemmas of the form I??_of_I?? (#4918) Some propositions about intervals that I thought may be useful (despite their simplicity).

Author

benjamindavidson

Parents

14a7c39d

mathlib de2f1b2a - feat(data/set/intervals/basic): collection of lemmas of the form I??_of_I?? (#4918)

mathlib
de2f1b2a - feat(data/set/intervals/basic): collection of lemmas of the form I??_of_I?? (#4918)