Proofgold Term Root Disambiguation

λ x0 x1 . ∃ x2 . Group_Iso x0 x1 x2

as obj
8b3f7..^{Group_Isomorphic}

as prop
-

theory
HotG

stx
6b5ba..

address
TMPtR..^{Group_Isomorphic}