Theorem Finset.mem_pow

Modification history