Def Linarith.getMaxVar

Modification history