Theorem subset_affineSpan

Modification history