Theorem Fin.get_find?_eq_find_of_eq_true

Modification history

2025-11-28 16:39
Mathlib/Data/Fin/Tuple/Basic.lean
feat: Fin.find update (#30037) …
Added Fin.get_find?_eq_find_of_eq_trueView on Github →