Theorem Finset.pow_subset_pow_right

Modification history