Def Linarith.Comp.coeffOf

Modification history