Search for blocks/addresses/...

Proofgold Object

λ x0 . pack_u (setsum x0 x0) (combine_funcs x0 x0 Inj1 Inj1)
type
ι → ι
theory
HotG
name
-
definition
PUeeb..
Megalodon
-
proofgold address
TMcYF..
creator
35044 PrHS6../4e1db..
owner
35044 PrHS6../4e1db..
term root
b01cd..