Theorem Set.preimage_const_add_Ioc

Modification history