Theorem Combinatorics.Line.toSubspaceUnit_isMono

Modification history