Theorem affineSpan_le

Modification history