Proofgold Proposition

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

type
prop

theory
HotG

name
subgroup_symgroup_fixing

proof
PUMaE..

Megalodon
subgroup_symgroup_fixing

proofgold address
TMNMR..^{subgroup_symgroup_fixing}

creator
4924 Pr6Pc../28cb3..

owner
4924 Pr6Pc../28cb3..

term root
ea4ea..