Proofgold Proposition

wceq ccosh (cmpt (λ x0 . cc) (λ x0 . cfv (co ci (cv x0) cmul) ccos))

type
prop

theory
SetMM

name
df_cosh

proof
PUVbx..

Megalodon
-

proofgold address
TMbts..

creator
36378 PrCmT../14e67..

owner
36378 PrCmT../14e67..

term root
e5879..