Proofgold Proposition

wceq ccytp (cmpt (λ x0 . cn) (λ x0 . co (cfv (cfv ccnfld cpl1) cmgp) (cmpt (λ x1 . cima (ccnv (cfv (co (cfv ccnfld cmgp) (cdif cc (csn cc0)) cress) cod)) (csn (cv x0))) (λ x1 . co (cfv ccnfld cv1) (cfv (cv x1) (cfv (cfv ccnfld cpl1) cascl)) (cfv (cfv ccnfld cpl1) csg))) cgsu))

type
prop

theory
SetMM

name
df_cytp

proof
PUQPq..

Megalodon
-

proofgold address
TMYHC..

creator
36399 PrCmT../c4229..

owner
36399 PrCmT../c4229..

term root
c6b91..