Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pfun.fix_induction

Modification history

2019-09-20 03:28
src/data/pfun.lean
chore(data/pfun): run `#sanity_check` (#1463)
Deleted pfun.fix_inductionView on Github →
2018-06-30 00:43
data/pfun.lean
feat(computability/turing_machine): rework proofs, simplify TM lang
Modified pfun.fix_inductionView on Github →
2018-05-21 11:44
data/pfun.lean
feat(computability/partrec_code): Kleene normal form theorem …
Added pfun.fix_inductionView on Github →