Theorem Primrec.vector_toList_iff

Modification history