Proofgold Term Root Disambiguation

λ x0 . If_i (SNoLt 0 x0) (recip_SNo_pos x0) (If_i (SNoLt x0 0) (minus_SNo (recip_SNo_pos (minus_SNo x0))) 0)

as obj
0d39b..^recip_SNo

as prop
-

theory
HotG

stx
87341..

address
TMdJF..^recip_SNo