Proofgold Term Root Disambiguation

λ x0 x1 . x0 ∈ u22 ⟶ x1 ∈ u22 ⟶ 94591.. (55574.. x0) (55574.. x1) = λ x3 x4 . x3

as obj
0aea9..

as prop
-

theory
HotG

stx
0e297..

address
TMQZu..