Theorem Set.preimage_const_mul_Ioo

Modification history