Proofgold Term Root Disambiguation

λ x0 . If_i (SNoLe 0 x0) x0 (minus_SNo x0)

as obj
2990e..^abs_SNo

as prop
-

theory
HotG

stx
26642..

address
TMV5Y..^abs_SNo