Theorem Fin.succ_top

Modification history

2025-01-28 16:01
Mathlib/Order/Fin/Basic.lean
feat(*/Fin/*): add lemmas (#21175) …
Added Fin.succ_topView on Github →