Def denumerable.raise

Modification history

2018-05-17 04:23
data/denumerable.lean
feat(data/computability): primrec, denumerable
Added denumerable.raiseView on Github →