Theorem maximal_linearIndependent_eq_infinite_basis

Modification history