Proofgold Proposition

wceq ccos (cmpt (λ x0 . cc) (λ x0 . co (co (cfv (co ci (cv x0) cmul) ce) (cfv (co (cneg ci) (cv x0) cmul) ce) caddc) c2 cdiv))

type
prop

theory
SetMM

name
df_cos

proof
PUQy1..

Megalodon
-

proofgold address
TMMnJ..

creator
36378 PrCmT../93ea6..

owner
36378 PrCmT../93ea6..

term root
a9875..