Theorem: get_contradiction (Saturn/Clause.lean)

State before:
n : ℕ
kw : Fin n
⊢ Vector.get (contradiction n) kw = none
Tactic:
rw [contradiction, Vector.ofFn', Vector.get_ofFn]
State after:
no goals