Search for blocks/addresses/...

Proofgold Proposition

wceq clsh (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wa (wne (cv x1) (cfv (cv x0) cbs)) (wrex (λ x2 . wceq (cfv (cun (cv x1) (csn (cv x2))) (cfv (cv x0) clspn)) (cfv (cv x0) cbs)) (λ x2 . cfv (cv x0) cbs))) (λ x1 . cfv (cv x0) clss)))
type
prop
theory
SetMM
name
df_lshyp
proof
PUNA7..
Megalodon
-
proofgold address
TMUb2..
creator
36384 PrCmT../4fc60..
owner
36384 PrCmT../4fc60..
term root
4bfca..