Proofgold Term Root Disambiguation

∀ x0 x1 x2 . atleastp (setsum 0 6a551..) 0 ⟶ False

as obj
-

as prop
53760..

theory
HF

stx
5e336..

address
TMV2W..