example : (@& (1 : Fin 2)) = 1 := by simp only [Fin.isValue]