Theorem affineSpan_insert_eq_affineSpan

Modification history