Def Linarith.linearFormOfAtom

Modification history