Search for blocks/addresses/...

Proofgold Proposition

∃ x0 x2 x4 : ι → ι → ι . ∃ x6 : ι → ι → ι → ι → ι → ι . MetaCat_coproduct_constr_p 8b17e.. BinRelnHom struct_id struct_comp x0 x2 x4 x6
type
prop
theory
HotG
name
-
proof
PUMZ2..
Megalodon
MetaCat_struct_r_wellord_coproduct_constr
proofgold address
TMNQo..MetaCat_struct_r_wellord_coproduct_constr
creator
11302 PrEBh../8021e..
owner
11305 PrEBh../384e6..
term root
70ffe..