Search for blocks/addresses/...

Proofgold Proposition

wceq ccsgrp2 (crab (λ x0 . wbr (cfv (cv x0) cplusg) (cfv (cv x0) cbs) ccomlaw) (λ x0 . csgrp2))
type
prop
theory
SetMM
name
df_csgrp2
proof
PUeJx..
Megalodon
-
proofgold address
TMHJ8..
creator
36384 PrCmT../10cdd..
owner
36384 PrCmT../10cdd..
term root
11a28..