Proofgold Proposition

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

type
prop

theory
HotG

name
subgroup_transitive

proof
PUMaE..

Megalodon
subgroup_transitive

proofgold address
TMQpo..^{subgroup_transitive}

creator
4924 Pr6Pc../420d2..

owner
4924 Pr6Pc../420d2..

term root
c84fb..