Theorem Set.preimage_mul_left_one'

Modification history