Theorem Set.preimage_const_mul_Ici

Modification history