Theorem Coplanar.finiteDimensional_vectorSpan

Modification history