Proofgold Proposition

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

type
prop

theory
SetMM

name
df_logbALT

proof
PUVbx..

Megalodon
-

proofgold address
TMcAe..

creator
36378 PrCmT../63673..

owner
36378 PrCmT../63673..

term root
2a57f..