Proofgold Term Root Disambiguation

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

as obj
-

as prop
a3070..

theory
HotG

stx
c4834..

address
TMQpM..