Theorem linearIndepOn_singleton_iff

Modification history