Theorem AffineSubspace.affineSpan_coe

Modification history