mathlib3

3b6d6d74 - chore(data/fintype/basic): Add simp lemma about finset.univ (#5708)