Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cres x0 x1) (cin x0 (cxp x1 cvv))

type
prop

theory
SetMM

name
df_res

proof
PUaCV..

Megalodon
-

proofgold address
TMWeg..

creator
36396 PrCmT../9e9f3..

owner
36396 PrCmT../9e9f3..

term root
6cb36..