Search for blocks/addresses/...

Proofgold Object

λ x0 . Church6_to_u6 (permargs_i_1_0_3_2_4_5 (nth_6_tuple x0))
type
ι → ι
theory
HotG
name
-
definition
PUQF9..
Megalodon
-
proofgold address
TMYvN..
creator
20350 Pr4zB../fe9b7..
owner
20350 Pr4zB../fe9b7..
term root
dd5d8..