Theorem nonempty_linearIndependent_set

Modification history