Proofgold Proposition

wceq csinh (cmpt (λ x0 . cc) (λ x0 . co (cfv (co ci (cv x0) cmul) csin) ci cdiv))

type
prop

theory
SetMM

name
df_sinh

proof
PUVbx..

Megalodon
-

proofgold address
TMV4h..

creator
36378 PrCmT../ee1fc..

owner
36378 PrCmT../ee1fc..

term root
0f07b..