Theorem Set.iUnion_smul_left_image

Modification history