Theorem AffineSubspace.span_univ

Modification history