Theorem Primrec.option_bind₁

Modification history