Theorem Primrec.option_isSome

Modification history