Search for blocks/addresses/...

Proofgold Proposition

wceq cmgm2 (cab (λ x0 . wbr (cfv (cv x0) cplusg) (cfv (cv x0) cbs) ccllaw))
type
prop
theory
SetMM
name
df_mgm2
proof
PUeJx..
Megalodon
-
proofgold address
TMXXK..
creator
36384 PrCmT../4b5c5..
owner
36384 PrCmT../4b5c5..
term root
112be..