Theorem Finset.sym_succ

Modification history