Theorem: gYb_eq_gYc (FM2023Exrcise/section03_functions/sheet3.lean)

State before:
⊢ g Y.b = g Y.c
Tactic:
rw [g]
State after:
no goals