Description: Equivalence of definitions df-linds and df-lininds for (linear) independence for (left) modules. (Contributed by AV, 26-Apr-2019) (Proof shortened by AV, 30-Jul-2019)