Theorem linearIndependent_subsingleton_iff

Modification history