mathlib
aab5994e - feat(data/finset/intervals, data/set/intervals/basic): intersection of finset.Ico, union of intervals for sets and finsets (#5410)
Commit
5 years ago
Author
Parents