Theorem AffineSubspace.direction_eq_vectorSpan

Modification history