Proofgold Proposition

∀ x0 x1 x2 . x2 ⊆ x1 ⟶ x1 ⊆ x0 ⟶ subgroup (symgroup_fixing x0 x1) (symgroup_fixing x0 x2)

type
prop

theory
HotG

name
subgroup_symgroup_fixing2

proof
PUMaE..

Megalodon
subgroup_symgroup_fixing2

proofgold address
TMVoc..^{subgroup_symgroup_fixing2}

creator
4924 Pr6Pc../7a1f4..

owner
4924 Pr6Pc../7a1f4..

term root
5b06f..