Search for blocks/addresses/...

Proofgold Object

λ x0 . Church6_to_u6 (permargs_i_3_2_1_0_4_5 (nth_6_tuple x0))
type
ι → ι
theory
HotG
name
-
definition
PUKEu..
Megalodon
-
proofgold address
TMU1q..
creator
20354 Pr4zB../1f390..
owner
20354 Pr4zB../1f390..
term root
97980..