Theorem Finset.sym_mono

Modification history