Theorem AffineSubspace.eq_univ_of_subsingleton_span_eq_top

Modification history