Theorem Set.preimage_add_const_Iic

Modification history