Def equiv_linearIndependent

Modification history