Theorem preimage_neg

Modification history