Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι → ι . (∀ x3 . x3x0∀ x4 . x4x0x1 x3 x4 = x2 x3 x4)encode_b x0 x1 = encode_b x0 x2
type
prop
theory
HotG
name
encode_b_ext
proof
PUdQg..
Megalodon
encode_b_ext
proofgold address
TMMdZ..encode_b_ext
creator
4899 Pr6Pc../4847d..
owner
4899 Pr6Pc../4847d..
term root
332ce..