Theorem Set.preimage_const_add_Iic

Modification history