Proofgold Term Root Disambiguation

∃ x0 x2 . and (and (Group x2) (subgroup x0 x2)) (not (normal_subgroup x0 x2))

as obj
-

as prop
f4475..^{nonnormal_subgroup}

theory
HotG

stx
a0c68..

address
TMaJX..^{nonnormal_subgroup}