Theorem LinearIndepOn.linearIndependent_restrict

Modification history