Proofgold Term Root Disambiguation

∀ x0 . 80242.. x0 ⟶ x0 = 09072.. (e4431.. x0) (λ x2 . prim1 x2 x0)

as obj
-

as prop
028bc..

theory
HoTg

stx
38a69..

address
TMQ6B..