Search for blocks/addresses/...

Proofgold Proposition

wceq ctoplnd (crab (λ x0 . wral (λ x1 . wceq (cuni (cv x0)) (cuni (cv x1))wrex (λ x2 . wa (wbr (cv x2) com cdom) (wceq (cuni (cv x0)) (cuni (cv x2)))) (λ x2 . cpw (cv x0))) (λ x1 . cpw (cv x0))) (λ x0 . ctop))
type
prop
theory
SetMM
name
df_toplnd
proof
PUQPq..
Megalodon
-
proofgold address
TMYZF..
creator
36399 PrCmT../22535..
owner
36399 PrCmT../22535..
term root
8f075..