Theorem Primrec.dom_bool₂

Modification history