Theorem Primrec.vector_length

Modification history