Theorem linearIndependent_subsingleton_index_iff

Modification history