Theorem Finset.sym_zero

Modification history