Proofgold Term Root Disambiguation

λ x0 x1 . mul_SNo x0 (recip_SNo x1)

as obj
8b12f..^div_SNo

as prop
-

theory
HotG

stx
87341..

address
TMHoW..^div_SNo