Theorem AffineSubspace.affineSpan_eq_top_iff_vectorSpan_eq_top_of_nonempty

Modification history