Proofgold Term Root Disambiguation

∀ x0 . atleastp x0 0 ⟶ x0 = 0

as obj
-

as prop
19d38..

theory
HF

stx
ac81c..

address
TMSdz..