Theorem LinearIndepOn.span_extend_eq_span

Modification history