Theorem Finset.sym_univ

Modification history