Theorem Fin.zero_eq_top

Modification history

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