Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 . bbc71.. x0 x1 x2 x3 x4 0 0 0 = binunion (f4b0e.. x0 x1 x2 x3) {SetAdjoin x6 (Sing 5)|x6 ∈ x4}

as obj
-

as prop
0fc47..

theory
HotG

stx
2a9bf..

address
TMKrU..