Proofgold Term Root Disambiguation

λ x0 x1 . ∀ x2 : ο . (∀ x3 . Group_Iso x0 x1 x3 ⟶ x2) ⟶ x2

as obj
8b3f7..^{Group_Isomorphic}

as prop
-

theory
HotG

stx
6b5ba..

address
TMPtR..^{Group_Isomorphic}