Theorem Primrec.vector_toList

Modification history