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

State before:
m : Material
⊢ m = fromIndex (index m)
Tactic:
cases m <;> simp [index, fromIndex]
State after:
no goals