Search for blocks/addresses/...

Proofgold Proposition

wceq ccmgm2 (crab (λ x0 . wbr (cfv (cv x0) cplusg) (cfv (cv x0) cbs) ccomlaw) (λ x0 . cmgm2))
type
prop
theory
SetMM
name
df_cmgm2
proof
PUeJx..
Megalodon
-
proofgold address
TMLSJ..
creator
36384 PrCmT../61b6c..
owner
36384 PrCmT../61b6c..
term root
6dca0..