Proofgold Term Root Disambiguation

∀ x0 . atleastp x0 0 ⟶ x0 = 0

as obj
-

as prop
cb57f..

theory
HotG

stx
594e8..

address
TMPb3..