Theorem AffineSubspace.smul_span

Modification history