Theorem Set.pow_subset_pow_right

Modification history