Theorem Set.preimage_neg_Icc

Modification history