Theorem Set.preimage_mul_const_Ioc_of_neg

Modification history