Theorem Fin.top_eq_zero

Modification history

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