Theorem Fin.compare_eq_compare_val

Modification history

2025-09-15 10:13
Mathlib/Order/Fin/Basic.lean
feat: a better version of `LinearOrder.lift` (#29436) …
Added Fin.compare_eq_compare_valView on Github →