Theorem Combinatorics.Line.toSubspace_isMono

Modification history