Theorem AffineSubspace.nonempty_of_affineSpan_eq_top

Modification history