Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . EquivReln x0 ⟶ EquivReln x1 ⟶ EquivReln (BinReln_product x0 x1)
type
prop
theory
HotG
name
-
proof
PUKcr..
Megalodon
-
proofgold address
TMV26..
creator
11519 PrEBh../25319..
owner
11519 PrEBh../25319..
term root
14dbc..