Proofgold Proposition

wceq cps1 (cmpt (λ x0 . cvv) (λ x0 . cfv c0 (co c1o (cv x0) copws)))

type
prop

theory
SetMM

name
df_psr1

proof
PUVCn..

Megalodon
-

proofgold address
TMH6z..

creator
36385 PrCmT../9c22b..

owner
36385 PrCmT../9c22b..

term root
32752..