Theorem: Section3sheet1solutions.gYb_eq_gYc (FormalisingMathematics2024/Solutions/Section03functions/Sheet3.lean)

State before:
⊢ g Y.b = g Y.c
Tactic:
rfl
State after:
no goals