Theorem normEDS_even

Modification history