Theorem: get'_contradiction (Saturn/Clause.lean)

State before:
n k : ℕ
w : k < n
⊢ get' (contradiction n) k w = none
Tactic:
rw [contradiction, Vector.get'_of_Fn']
State after:
no goals