Theorem Set.preimage_const_sub_Iio

Modification history