Theorem Primrec.option_some

Modification history