Theorem Finset.univ_eq_attach

Modification history