Theorem normEDS_one

Modification history