Theorem: test_custom_sorry (lean/main/09_tactics.lean)

State before:
⊢ 1 = 2
Tactic:
custom_sorry_2
State after:
no goals