Theorem Set.preimage_const_mul_Ico

Modification history