Theorem LinearIndependent.linearCombinationEquiv_apply_coe

Modification history