Theorem: Section3sheet1.gYb_eq_gYc (FormalisingMathematics2024/Section03functions/Sheet3.lean)

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