Theorem Set.image_op_inv

Modification history