Search for blocks/addresses/...

Proofgold Proposition

wceq cfmtno (cmpt (λ x0 . cn0) (λ x0 . co (co c2 (co c2 (cv x0) cexp) cexp) c1 caddc))
type
prop
theory
SetMM
name
df_fmtno
proof
PUYnf..
Megalodon
-
proofgold address
TMGmP..
creator
36378 PrCmT../a2ffc..
owner
36378 PrCmT../a2ffc..
term root
ce74a..