Proofgold Proposition

wceq cascl (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cfv (cfv (cv x0) csca) cbs) (λ x1 . co (cv x1) (cfv (cv x0) cur) (cfv (cv x0) cvsca))))

type
prop

theory
SetMM

name
df_ascl

proof
PUN9o..

Megalodon
-

proofgold address
TMNTm..

creator
36376 PrCmT../6a00b..

owner
36376 PrCmT../6a00b..

term root
ed15c..