Theorem Set.smul_set_sUnion

Modification history