Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pfun.fix_induction'_stop

Modification history

2022-11-10 23:42
src/data/pfun.lean
feat(data/pfun): review APIs, add some lemmas about `fix_induction` (#17004)
Added pfun.fix_induction'_stopView on Github →