Proofgold Term Root Disambiguation

∀ x0 x1 . 236c6.. = prim0 x0 x1 ⟶ ∀ x2 : ο . x2

as obj
-

as prop
f558c..

theory
HOAS

stx
e4836..

address
TMaQ5..