Theorem Computable.vector_length

Modification history