Theorem surjective_of_linearIndependent_of_span

Modification history