Theorem Set.zero_smul_set_subset

Modification history