Theorem preNormEDS'_zero

Modification history