Theorem Collinear.finiteDimensional_direction_affineSpan

Modification history