mathlib3
aef7ade7 - feat(data/set/intervals): a few lemmas needed by FTC-1 (#3653)

Commit

5 years ago

feat(data/set/intervals): a few lemmas needed by FTC-1 (#3653)

Author

urkud

urkud

Parents

Loading