Theorem linearIndependent_iff_finset_linearIndependent

Modification history