Theorem preNormEDS_neg

Modification history