Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
∀ x1 :
ι →
ι → ι
.
explicit_Group
x0
x1
⟶
∀ x2 .
x2
∈
x0
⟶
x1
x2
(
explicit_Group_identity
x0
x1
)
=
x2
type
prop
theory
HotG
name
explicit_Group_identity_rid
proof
PUMaE..
Megalodon
explicit_Group_identity_rid
proofgold address
TMLhb..
explicit_Group_identity_rid
creator
4924
Pr6Pc..
/
55ebd..
owner
4924
Pr6Pc..
/
55ebd..
term root
f6f58..