Proofgold Term Root Disambiguation

∀ x0 . atleast2 x0 ⟶ ∃ x1 . and (In x1 x0) (not (Subq x0 (Power x1)))

as obj
-

as prop
ffa80..^atleast2_E

theory
HF

stx
8a441..

address
TMLuj..^atleast2_E