Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ο . wb (w_bnj15 x0 x1) (wa (wfr x0 x1) (w_bnj13 x0 x1))

as obj
-

as prop
ef990..

theory
SetMM

stx
76cf4..

address
TMXhT..