Theorem Set.preimage_const_mul_Iic

Modification history