Theorem AffineSubspace.vectorSpan_eq_top_of_affineSpan_eq_top

Modification history