Theorem Coplanar.finiteDimensional_direction_affineSpan

Modification history