Theorem Set.preimage_mul_const_Iic

Modification history