Proofgold Term Root Disambiguation

λ x0 . and (30750.. x0) (93c99.. x0 explicit_Group)

as obj
4f2b4..

as prop
-

theory
HoTg

stx
4b82f..

address
TMM8m..