Theorem LinearIndepOn.span_image_extend_eq_span_image

Modification history