Theorem Set.image_neg_Ioc

Modification history