Theorem Set.zero_smul_set

Modification history