Theorem Set.image_op_one

Modification history