Proofgold Proposition

wceq ce (cmpt (λ x0 . cc) (λ x0 . csu cn0 (λ x1 . co (co (cv x0) (cv x1) cexp) (cfv (cv x1) cfa) cdiv)))

type
prop

theory
SetMM

name
df_ef

proof
PUQy1..

Megalodon
-

proofgold address
TMSwu..

creator
36378 PrCmT../b098c..

owner
36378 PrCmT../b098c..

term root
5462a..