Proofgold Proposition

∀ x0 : ι → ο . wceq (clb x0) (cub (ccnv x0))

type
prop

theory
SetMM

name
df_lb

proof
PUKaw..

Megalodon
-

proofgold address
TMaAC..

creator
36383 PrCmT../f4186..

owner
36383 PrCmT../f4186..

term root
040c5..