Theorem Finset.replicate_mem_sym

Modification history