Theorem Basis.index_nonempty

Modification history