Def fibf

Modification history

2026-05-10 01:42
MathlibTest/StepInduction.lean
feat: arbitrary-order induction on `Nat` (#38442) …
Added fibfView on Github →