Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
∀ x2 : ο .
(
∀ x3 .
Group_Iso
x0
x1
x3
⟶
x2
)
⟶
x2
type
ι
→
ι
→
ο
theory
HotG
name
Group_Isomorphic
definition
PUXQg..
Megalodon
Group_Isomorphic
proofgold address
TMKSQ..
Group_Isomorphic
creator
5919
Pr6Pc..
/
454b1..
owner
5919
Pr6Pc..
/
454b1..
term root
727fd..