Search for blocks/addresses/...

Proofgold Proposition

wceq cmon (cmpt (λ x0 . ccat) (λ x0 . csb (cfv (cv x0) cbs) (λ x1 . csb (cfv (cv x0) chom) (λ x2 . cmpt2 (λ x3 x4 . cv x1) (λ x3 x4 . cv x1) (λ x3 x4 . crab (λ x5 . wral (λ x6 . wfun (ccnv (cmpt (λ x7 . co (cv x6) (cv x3) (cv x2)) (λ x7 . co (cv x5) (cv x7) (co (cop (cv x6) (cv x3)) (cv x4) (cfv (cv x0) cco)))))) (λ x6 . cv x1)) (λ x5 . co (cv x3) (cv x4) (cv x2)))))))
type
prop
theory
SetMM
name
df_mon
proof
PULKN..
Megalodon
-
proofgold address
TMVv9..
creator
36388 PrCmT../820d7..
owner
36388 PrCmT../820d7..
term root
7fdd9..