Theorem Set.preimage_mul_right_one

Modification history