Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → (ι → ι)(ι → ι → ο) → ι . ∀ x1 . ∀ x2 : ι → ι . ∀ x3 : ι → ι → ο . (∀ x4 : ι → ι . (∀ x5 . x5x1x2 x5 = x4 x5)∀ x5 : ι → ι → ο . (∀ x6 . x6x1∀ x7 . x7x1iff (x3 x6 x7) (x5 x6 x7))x0 x1 x4 x5 = x0 x1 x2 x3)unpack_u_r_i (pack_u_r x1 x2 x3) x0 = x0 x1 x2 x3
type
prop
theory
HotG
name
unpack_u_r_i_eq
proof
PUau9..
Megalodon
-
proofgold address
TMWoy..
creator
4914 Pr6Pc../52b5a..
owner
4914 Pr6Pc../52b5a..
term root
53f9c..