Search for blocks/addresses/...

Proofgold Proposition

∃ x0 . ∃ x2 : ι → ι . MetaCat_initial_p struct_e PtdSetHom struct_id struct_comp x0 x2
type
prop
theory
HotG
name
-
proof
PUWcG..
Megalodon
MetaCat_struct_e_initial
proofgold address
TMaja..MetaCat_struct_e_initial
creator
9724 PrCx1../eb9f3..
owner
9724 PrCx1../eb9f3..
term root
0c84d..