Proofgold Term Root Disambiguation

as obj
43798..^{nat_factorial}

as prop
-

theory
HotG

stx
3b6f0..

address
TMZjH..^{nat_factorial}