Def Linarith.getPCompSet

Modification history