Proofgold Proposition

∀ x0 : ι → ο . wb (wlim x0) (w3a (word x0) (wne x0 c0) (wceq x0 (cuni x0)))

type
prop

theory
SetMM

name
df_lim

proof
PUaCV..

Megalodon
-

proofgold address
TMTX6..

creator
36396 PrCmT../91f98..

owner
36396 PrCmT../91f98..

term root
4ec67..