Proofgold Proposition

wceq cacos (cmpt (λ x0 . cc) (λ x0 . co (co cpi c2 cdiv) (cfv (cv x0) casin) cmin))

type
prop

theory
SetMM

name
df_acos

proof
PUMn8..

Megalodon
-

proofgold address
TMSCi..

creator
36377 PrCmT../8143d..

owner
36377 PrCmT../8143d..

term root
ce19e..