Theorem direction_affineSpan

Modification history