Def Linarith.toComp

Modification history