Proofgold Term Root Disambiguation

∀ x0 : ο . x0 ⟶ cprvb x0

as obj
-

as prop
57be9..

theory
SetMM

stx
cb8e1..

address
TMGvL..