Theorem LinearIndependent.span_repr_eq

Modification history