Theorem: LoVe.not_ServAhead_gameRecv (LoVe/Labs/Lab5Solution.lean)

State before:
⊢ ¬ServAhead Score.gameRecv
Tactic:
intro h
State after:
h : ServAhead Score.gameRecv
⊢ False

State before:
h : ServAhead Score.gameRecv
⊢ False
Tactic:
cases h
State after:
no goals