Theorem Set.preimage_mul_const_Iio

Modification history