Theorem: cs2120f23.proof_equal (Instructor/Lectures/16_lecture_more_notes.lean)

State before:
⊢ Birds_chirping.boo = Birds_chirping.yep
Tactic:
trivial
State after:
no goals