Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ mul_SNo (abs_SNo x0) (abs_SNo x0) = mul_SNo x0 x0

as obj
-

as prop
1ef08..

theory
HotG

stx
cd4cc..

address
TMcir..