Theorem strictMono_a6356

Modification history

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