Theorem Finset.pow_mem_pow

Modification history