Search for blocks/addresses/...

Proofgold Proposition

wceq cldlf (ccref (cab (λ x0 . wbr (cv x0) com cdom)))
type
prop
theory
SetMM
name
df_ldlf
proof
PUcVW..
Megalodon
-
proofgold address
TMQwX..
creator
36383 PrCmT../97d77..
owner
36383 PrCmT../97d77..
term root
d800a..