Search for blocks/addresses/...

Proofgold Proposition

wceq cblen (cmpt (λ x0 . cvv) (λ x0 . cif (wceq (cv x0) cc0) c1 (co (cfv (co c2 (cfv (cv x0) cabs) clogb) cfl) c1 caddc)))
type
prop
theory
SetMM
name
df_blen
proof
PUVbx..
Megalodon
-
proofgold address
TMQWY..
creator
36378 PrCmT../f14b2..
owner
36378 PrCmT../f14b2..
term root
2233e..