Theorem Set.preimage_mul_const_Ici

Modification history