Theorem Set.neg_smul_set

Modification history