Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u17 ⟶ Church17_p (u17_to_Church17 x0)

as obj
-

as prop
db165..

theory
HotG

stx
f13be..

address
TML8D..