Proofgold Proposition

wceq cmvrs (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cfv (cv x0) cmex) (λ x1 . cin (crn (cfv (cv x1) c2nd)) (cfv (cv x0) cmvar))))

type
prop

theory
SetMM

name
df_mvrs

proof
PUNz5..

Megalodon
-

proofgold address
TMXeU..

creator
36386 PrCmT../bb23e..

owner
36386 PrCmT../bb23e..

term root
1c7f4..