Proofgold Term Root Disambiguation

λ x0 x1 : ι → ο . ∀ x2 : ο . (∀ x3 . and (x0 = 1ce4f.. x3) (x1 x3) ⟶ x2) ⟶ x2

as obj
d97e3..^In_1

as prop
-

theory
HF

stx
f19eb..

address
TMPFv..^In_1