Theorem isOpen_setOf_linearIndependent

Modification history