Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (cinf x0 x1 x2) (csup x0 x1 (ccnv x2))

type
prop

theory
SetMM

name
df_inf

proof
PUQ2W..

Megalodon
-

proofgold address
TMQW1..

creator
36396 PrCmT../6a5d7..

owner
36396 PrCmT../6a5d7..

term root
bb11c..