Theorem preNormEDS_zero

Modification history