Theorem Fin.val_top

Modification history

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