Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . (∀ x1 : ι → ι → ι . (∀ x2 : ο . (∀ x3 : ι → ι → ι . (∀ x4 : ο . (∀ x5 : ι → ι → ι . (∀ x6 : ο . (∀ x7 : ι → ι → ι → ι → ι → ι . MetaCat_coproduct_constr_p (λ x8 . x8prim6 0) HomSet (λ x8 . lam x8 (λ x9 . x9)) (λ x8 x9 x10 x11 x12 . lam x8 (λ x13 . ap x11 (ap x12 x13))) x1 x3 x5 x7x6)x6)x4)x4)x2)x2)x0)x0
type
prop
theory
HotG
name
-
proof
PUNFE..
Megalodon
MetaCatHFSet_coproduct
proofgold address
TMYJb..MetaCatHFSet_coproduct
creator
9568 PrCx1../0a541..
owner
9568 PrCx1../0a541..
term root
df899..