Theorem: Material.fromTo (days/day19.lean)

State before:
i : Fin 4
⊢ i = index (fromIndex i)
Tactic:
match i with 
| 0 => simp
| 1 => simp
| 2 => simp
| 3 => simp
State after:
no goals

State before:
i : Fin 4
⊢ 0 = index (fromIndex 0)
Tactic:
simp
State after:
no goals

State before:
i : Fin 4
⊢ 1 = index (fromIndex 1)
Tactic:
simp
State after:
no goals

State before:
i : Fin 4
⊢ 2 = index (fromIndex 2)
Tactic:
simp
State after:
no goals

State before:
i : Fin 4
⊢ 3 = index (fromIndex 3)
Tactic:
simp
State after:
no goals