Proofgold Term Root Disambiguation

∀ x0 : ((ι → ο) → ο) → ο . dba53.. (a327b.. x0) = x0

as obj
-

as prop
ef47b..^{down_4_3_incl_3_4}

theory
HF

stx
a8b20..

address
TML89..^{down_4_3_incl_3_4}