Theorem LinearIndependent.extend_subset

Modification history