Theorem: MiniChess.Board.set_same (Talk/11MiniChess.lean)

State before:
n : ℕ
pos : Pos n
p? : Option PPiece
b : Board n
⊢ set b pos p? pos = p?
Tactic:
simp [set]
State after:
no goals