Theorem Set.smul_set_neg

Modification history