Theorem Primrec.subtype_mk

Modification history