Proofgold Term Root Disambiguation

∀ x0 x1 x2 . subgroup x0 x1 ⟶ subgroup x1 x2 ⟶ subgroup x0 x2

as obj
-

as prop
026e9..^{subgroup_transitive}

theory
HotG

stx
a0c68..

address
TMRVs..^{subgroup_transitive}