Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . per (43cf7.. x0)

as obj
-

as prop
15fc9..

theory
HotG

stx
c4834..

address
TMPP4..