Theorem linearIndepOn_iff_linearCombinationOn

Modification history