Theorem Finset.pow_subset_pow_of_one_mem

Modification history