Theorem Primrec.dom_fintype

Modification history