Proofgold Proposition

∀ x0 x1 . x1 ⊆ x0 ⟶ Group (symgroup_fixing x0 x1)

type
prop

theory
HotG

name
Group_symgroup_fixing

proof
PUMaE..

Megalodon
Group_symgroup_fixing

proofgold address
TMJxY..^{Group_symgroup_fixing}

creator
4924 Pr6Pc../64a66..

owner
4924 Pr6Pc../64a66..

term root
4c494..