Theorem Combinatorics.Line.diagonal_apply

Modification history