Theorem linearIndependent_iff_injective_finsuppLinearCombination

Modification history