Search for blocks/addresses/...

Proofgold Proposition

wceq czlm (cmpt (λ x0 . cvv) (λ x0 . co (co (cv x0) (cop (cfv cnx csca) zring) csts) (cop (cfv cnx cvsca) (cfv (cv x0) cmg)) csts))
type
prop
theory
SetMM
name
df_zlm
proof
PUMpC..
Megalodon
-
proofgold address
TMQKo..
creator
36377 PrCmT../67d9b..
owner
36377 PrCmT../67d9b..
term root
76f9e..