Def ADE_inequality.E7

Modification history