Def Linarith.PComp.maybeMinimal

Modification history