Theorem Set.mul_add_subset

Modification history