Theorem Set.preimage_const_add_Iio

Modification history