Proofgold Term Root Disambiguation

∀ x0 . abelian_Group x0 ⟶ ∀ x1 . subgroup x1 x0 ⟶ normal_subgroup x1 x0

as obj
-

as prop
31f5b..^{abelian_group_normal_subgroup}

theory
HotG

stx
a0c68..

address
TMTKN..^{abelian_group_normal_subgroup}