Theorem Set.preimage_const_mul_Ioc_of_neg

Modification history