Theorem Combinatorics.Line.toSubspace_apply

Modification history