Proofgold Proposition

wceq clgam (cmpt (λ x0 . cdif cc (cdif cz cn)) (λ x0 . co (csu cn (λ x1 . co (co (cv x0) (cfv (co (co (cv x1) c1 caddc) (cv x1) cdiv) clog) cmul) (cfv (co (co (cv x0) (cv x1) cdiv) c1 caddc) clog) cmin)) (cfv (cv x0) clog) cmin))

type
prop

theory
SetMM

name
df_lgam

proof
PUMn8..

Megalodon
-

proofgold address
TMaxg..

creator
36377 PrCmT../6d30c..

owner
36377 PrCmT../6d30c..

term root
2d659..