Def ADE_inequality.E8

Modification history