Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ι → ο . pack_r x0 x2 = pack_r x1 x3and (x0 = x1) (∀ x4 . x4x0∀ x5 . x5x0x2 x4 x5 = x3 x4 x5)
type
prop
theory
HotG
name
pack_r_inj
proof
PUSob..
Megalodon
pack_r_inj
proofgold address
TMLB6..pack_r_inj
creator
4904 Pr6Pc../9c8ea..
owner
4904 Pr6Pc../9c8ea..
term root
7f2df..