Theorem Set.union_smul

Modification history