Def Linarith.mkLTZeroProof

Modification history