Theorem Set.add_mul_subset

Modification history