Search for blocks/addresses/...

Proofgold Proposition

∃ x0 . ∃ x2 : ι → ι . MetaCat_terminal_p struct_p UnaryPredHom struct_id struct_comp x0 x2
type
prop
theory
HotG
name
-
proof
PUg5x..
Megalodon
MetaCat_struct_p_terminal
proofgold address
TMNoh..MetaCat_struct_p_terminal
creator
11300 PrEBh../e57d7..
owner
11305 PrEBh../b94a0..
term root
4a756..