Theorem AffineSubspace.affineSpan_eq_top_iff_vectorSpan_eq_top_of_nontrivial

Modification history