Search for blocks/addresses/...

Proofgold Proposition

∃ x0 . ∃ x2 : ι → ι . MetaCat_terminal_p struct_r BinRelnHom struct_id struct_comp x0 x2
type
prop
theory
HotG
name
-
proof
PUg5x..
Megalodon
MetaCat_struct_r_terminal
proofgold address
TMWpB..MetaCat_struct_r_terminal
creator
11300 PrEBh../de3a5..
owner
11305 PrEBh../0dbde..
term root
5b445..