Theorem linearIndependent_comp_subtype_iff

Modification history