Theorem LinearIndependent.maximal_iff

Modification history