Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → (ι → ι)ι → ο . ∀ x1 . ∀ x2 : ι → ι . ∀ x3 . (∀ x4 : ι → ι . (∀ x5 . x5x1x2 x5 = x4 x5)x0 x1 x4 x3 = x0 x1 x2 x3)unpack_u_e_o (pack_u_e x1 x2 x3) x0 = x0 x1 x2 x3
type
prop
theory
HotG
name
unpack_u_e_o_eq
proof
PUau9..
Megalodon
-
proofgold address
TMNMk..
creator
4914 Pr6Pc../3494e..
owner
4914 Pr6Pc../3494e..
term root
337ee..