Theorem Set.prod_self_subset_prod_self

Modification history