Theorem affineSpan_insert_affineSpan

Modification history