Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . explicit_Group x0 x1 ⟶ Group (pack_b x0 x1)

type
prop

theory
HotG

name
GroupI

proof
PUMaE..

Megalodon
GroupI

proofgold address
TMTYb..^GroupI

creator
4924 Pr6Pc../2caa5..

owner
4924 Pr6Pc../2caa5..

term root
f5958..