Search for blocks/addresses/...

Proofgold Proposition

∃ x0 . ∃ x2 : ι → ι . MetaCat_initial_p struct_r BinRelnHom struct_id struct_comp x0 x2
type
prop
theory
HotG
name
-
proof
PUg5x..
Megalodon
MetaCat_struct_r_initial
proofgold address
TMQZQ..MetaCat_struct_r_initial
creator
11300 PrEBh../dcc41..
owner
11305 PrEBh../7c092..
term root
78f3b..