Theorem Set.iUnion_smul_right_image

Modification history