Theorem linearIndependent_iff_not_mem_span

Modification history