Proofgold Term Root Disambiguation

∀ x0 : ο . (∀ x1 . x0) ⟶ x0

as obj
-

as prop
b92a8..

theory
SetMM

stx
34850..

address
TMVcK..^setnonempty