Search for blocks/addresses/...

Proofgold Proposition

wceq ctanh (cmpt (λ x0 . cima (ccnv ccosh) (cdif cc (csn cc0))) (λ x0 . co (cfv (co ci (cv x0) cmul) ctan) ci cdiv))
type
prop
theory
SetMM
name
df_tanh
proof
PUVbx..
Megalodon
-
proofgold address
TMMaQ..
creator
36378 PrCmT../a15f2..
owner
36378 PrCmT../a15f2..
term root
b48b3..