Theorem linearIndependent_iff_injective_fintypeLinearCombination

Modification history