Proofgold Term Root Disambiguation

λ x0 . 09072.. (4ae4a.. (e4431.. x0)) (λ x1 . and (prim1 x1 x0) (x1 = e4431.. x0 ⟶ ∀ x2 : ο . x2))

as obj
7cb9a..

as prop
-

theory
HoTg

stx
38a69..

address
TMFqp..