Theorem Finset.attach_eq_univ

Modification history