Theorem Set.preimage_mul_const_Ioi_of_neg

Modification history