Theorem Set.preimage_mul_right_singleton

Modification history