Theorem Primrec.option_getD

Modification history