Theorem Mathlib.Meta.Finset.univ_eq_elems

Modification history