Theorem affineSpan_singleton_union_vadd_eq_top_of_span_eq_top

Modification history