Theorem Set.preimage_const_mul_Ioi

Modification history