Def Combinatorics.Line.diagonal

Modification history