Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 . x0 x1struct_b_b_e x1)MetaCat x0 Hom_b_b_e (λ x1 . lam_id (ap x1 0)) (λ x1 x2 x3 . lam_comp (ap x1 0))
type
prop
theory
HotG
name
-
proof
PUdXV..
Megalodon
MetaCat_struct_b_b_e_gen
proofgold address
TMTD5..MetaCat_struct_b_b_e_gen
creator
9630 PrCx1../df3c5..
owner
9630 PrCx1../df3c5..
term root
c7aff..