Theorem Set.preimage_const_mul_Ioc

Modification history