Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . ∀ x2 . x2x0∀ x3 . x3x0decode_b (encode_b x0 x1) x2 x3 = x1 x2 x3
type
prop
theory
HotG
name
decode_encode_b
proof
PUdQg..
Megalodon
decode_encode_b
proofgold address
TMNxz..decode_encode_b
creator
4899 Pr6Pc../b1fba..
owner
4899 Pr6Pc../b1fba..
term root
3ee73..