Theorem AffineSubspace.map_span

Modification history