Theorem Set.preimage_mul_const_Ico

Modification history