Theorem Set.mul_zero_subset

Modification history