Theorem exists_of_linearIndepOn_of_finite_span

Modification history