Proofgold Term Root Disambiguation

λ x0 . nat_primrec 1 (λ x1 . mul_SNo x0)

as obj
ea810..^exp_SNo_nat

as prop
-

theory
HotG

stx
3b6f0..

address
TMHss..^exp_SNo_nat