Proofgold Term Root Disambiguation

λ x0 . nat_primrec 0 (λ x1 . add_nat x0)

as obj
80ccc..^mul_nat

as prop
-

theory
HotG

stx
d0fc7..

address
TMQ9V..^mul_nat