Theorem normEDS'_even

Modification history