Proofgold Term Root Disambiguation

prim0 (λ x0 . and (∀ x1 . x1 ∈ x0 ⟶ SNo x1) (explicit_Reals x0 0 1 add_SNo mul_SNo SNoLe))

as obj
04d15..

as prop
-

theory
HotG

stx
2cf07..

address
TMRJB..