Proofgold Proposition

wceq cpl1 (cmpt (λ x0 . cvv) (λ x0 . co (cfv (cv x0) cps1) (cfv (co c1o (cv x0) cmpl) cbs) cress))

type
prop

theory
SetMM

name
df_ply1

proof
PUVCn..

Megalodon
-

proofgold address
TMPNT..

creator
36385 PrCmT../22a4f..

owner
36385 PrCmT../22a4f..

term root
8fe3e..