Theorem Finset.sym_inter

Modification history