Theorem Primrec.dom_bool

Modification history