Proofgold Proposition

∀ x0 . Group (symgroup x0)

type
prop

theory
HotG

name
Group_symgroup

proof
PUMaE..

Megalodon
Group_symgroup

proofgold address
TMQ1k..^{Group_symgroup}

creator
4924 Pr6Pc../fe3c4..

owner
4924 Pr6Pc../fe3c4..

term root
99087..