Theorem Set.zero_smul_subset

Modification history