Proofgold Proposition

wceq cbcc (cmpt2 (λ x0 x1 . cc) (λ x0 x1 . cn0) (λ x0 x1 . co (co (cv x0) (cv x1) cfallfac) (cfv (cv x1) cfa) cdiv))

type
prop

theory
SetMM

name
df_bcc

proof
PUQnf..

Megalodon
-

proofgold address
TMHE8..

creator
36386 PrCmT../26969..

owner
36386 PrCmT../26969..

term root
09c66..