Theorem finiteDimensional_direction_affineSpan_of_finite

Modification history