Proofgold Term Root Disambiguation

binop_on 1 (λ x0 x1 . 0)

as obj
-

as prop
d5c68..^binop_on_1

theory
HF

stx
1efa1..

address
TMdnZ..^binop_on_1