Proofgold Proposition

wceq clsp (cmpt (λ x0 . cvv) (λ x0 . cinf (crn (cmpt (λ x1 . cr) (λ x1 . csup (cin (cima (cv x0) (co (cv x1) cpnf cico)) cxr) cxr clt))) cxr clt))

type
prop

theory
SetMM

name
df_limsup

proof
PUWCs..

Megalodon
-

proofgold address
TMFMR..

creator
36397 PrCmT../07592..

owner
36397 PrCmT../07592..

term root
1005c..