mathlib3

740b41bd - feat(data/fintype/basic): add `finset.(sup|inf)_univ_eq_(supr|infi)` (#8397)