Proofgold Term Root Disambiguation

λ x0 . and (4f2b4.. x0) (93c99.. x0 explicit_abelian)

as obj
eb6e9..

as prop
-

theory
HoTg

stx
4b82f..

address
TMGWy..