Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ prim4 0 ⟶ x0 = 0

as obj
-

as prop
0edf0..

theory
HotG

stx
ea22c..

address
TMbGi..