. simp only [ofArray]
case left
n : Nat
arr : Array (Option (DefaultClause n))
⊢ (ofArray arr).ratUnits = #[]

case right
n : Nat
arr : Array (Option (DefaultClause n))
⊢ (ofArray arr).readyForRupAdd
case right
n : Nat
arr : Array (Option (DefaultClause n))
⊢ (ofArray arr).readyForRupAdd