Theorem Set.preimage_const_mul_Iio

Modification history