Def Linarith.toCompFold

Modification history