Theorem affineSpan_mono

Modification history