Search for blocks/addresses/...

Proofgold Proposition

wceq cghomOLD (cmpt2 (λ x0 x1 . cgr) (λ x0 x1 . cgr) (λ x0 x1 . cab (λ x2 . wa (wf (crn (cv x0)) (crn (cv x1)) (cv x2)) (wral (λ x3 . wral (λ x4 . wceq (co (cfv (cv x3) (cv x2)) (cfv (cv x4) (cv x2)) (cv x1)) (cfv (co (cv x3) (cv x4) (cv x0)) (cv x2))) (λ x4 . crn (cv x0))) (λ x3 . crn (cv x0))))))
type
prop
theory
SetMM
name
df_ghomOLD
proof
PUMry..
Megalodon
-
proofgold address
TMRTn..
creator
36377 PrCmT../45e87..
owner
36377 PrCmT../45e87..
term root
ec6b5..