Theorem Combinatorics.Line.toSubspaceUnit_apply

Modification history