Theorem Primrec.option_map₁

Modification history