exact ih
case cons.right
α : Sort ?u.255218
inst✝ : Inhabited α
t : Geach.Taple
ts : List Geach.Taple
ih : MultiGeachConfluent ts Frame.terminal.toFrame
⊢ MultiGeachConfluent ts Frame.terminal.toFrame
no goals