Proofgold Proposition

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

type
prop

theory
SetMM

name
df_liminf

proof
PUQnf..

Megalodon
-

proofgold address
TMdsH..

creator
36386 PrCmT../94b0e..

owner
36386 PrCmT../94b0e..

term root
c97a4..