Proofgold Proposition

wceq clogb (cmpt2 (λ x0 x1 . cdif cc (cpr cc0 c1)) (λ x0 x1 . cdif cc (csn cc0)) (λ x0 x1 . co (cfv (cv x1) clog) (cfv (cv x0) clog) cdiv))

type
prop

theory
SetMM

name
df_logb

proof
PUMn8..

Megalodon
-

proofgold address
TMNTT..

creator
36377 PrCmT../0b031..

owner
36377 PrCmT../0b031..

term root
fd209..