Theorem Finset.cons_swap

Modification history