Def Linarith.linearFormsAndMaxVar

Modification history