Theorem Set.smul_set_iUnion

Modification history