Theorem: Finite.get_find (GMLInit/Class/Finite.lean)

State before:
α : Type u_1
inst : Finite α
x : α
⊢ Finite.get α (find x) = x
Tactic:
rw [←find_eq_iff_get_eq]
State after:
no goals