Theorem Set.smul_zero_subset

Modification history