Search for blocks/addresses/...

Proofgold Proposition

wceq coppg (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) (cop (cfv cnx cplusg) (ctpos (cfv (cv x0) cplusg))) csts))
type
prop
theory
SetMM
name
df_oppg
proof
PUJoj..
Megalodon
-
proofgold address
TMLmn..
creator
36388 PrCmT../fa126..
owner
36388 PrCmT../fa126..
term root
1f000..