Theorem linearIndependent_iff_ker

Modification history