Theorem Primrec₂.const

Modification history