Theorem exists_of_linearIndependent_of_finite_span

Modification history