Search for blocks/addresses/...

Proofgold Object

λ x0 . Church6_to_u6 (permargs_i_2_3_0_1_4_5 (nth_6_tuple x0))
type
ι → ι
theory
HotG
name
-
definition
PUfSu..
Megalodon
-
proofgold address
TMKbf..
creator
20353 Pr4zB../76d29..
owner
20353 Pr4zB../76d29..
term root
ad0ca..