Search for blocks/addresses/...

Proofgold Proposition

wceq csin (cmpt (λ x0 . cc) (λ x0 . co (co (cfv (co ci (cv x0) cmul) ce) (cfv (co (cneg ci) (cv x0) cmul) ce) cmin) (co c2 ci cmul) cdiv))
type
prop
theory
SetMM
name
df_sin
proof
PUQy1..
Megalodon
-
proofgold address
TMWsZ..
creator
36378 PrCmT../c1d88..
owner
36378 PrCmT../c1d88..
term root
91fa8..