Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ι → ι . ∀ x4 . MagmaHom (pack_b x0 x2) (pack_b x1 x3) x4 = and (x4setexp x1 x0) (∀ x6 . x6x0∀ x7 . x7x0ap x4 (x2 x6 x7) = x3 (ap x4 x6) (ap x4 x7))
type
prop
theory
HotG
name
-
proof
PUdXV..
Megalodon
Hom_struct_b_pack
proofgold address
TMP44..Hom_struct_b_pack
creator
9630 PrCx1../a2df2..
owner
9630 PrCx1../a2df2..
term root
7ee20..