Proofgold Term Root Disambiguation

λ x0 . not (finite x0)

as obj
fad8e..^infinite

as prop
-

theory
HotG

stx
18c18..

address
TMasu..^infinite