Theorem LinearIndependent.subset_extend

Modification history