Search for blocks/addresses/...

Proofgold Proposition

wceq ctotbnd (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wral (λ x2 . wrex (λ x3 . wa (wceq (cuni (cv x3)) (cv x0)) (wral (λ x4 . wrex (λ x5 . wceq (cv x4) (co (cv x5) (cv x2) (cfv (cv x1) cbl))) (λ x5 . cv x0)) (λ x4 . cv x3))) (λ x3 . cfn)) (λ x2 . crp)) (λ x1 . cfv (cv x0) cme)))
type
prop
theory
SetMM
name
df_totbnd
proof
PUXUn..
Megalodon
-
proofgold address
TMbNb..
creator
36376 PrCmT../9e2f6..
owner
36376 PrCmT../9e2f6..
term root
0d0da..