Proofgold Proposition

wceq codu (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) (cop (cfv cnx cple) (ccnv (cfv (cv x0) cple))) csts))

type
prop

theory
SetMM

name
df_odu

proof
PUe9S..

Megalodon
-

proofgold address
TMY8k..

creator
36384 PrCmT../f9669..

owner
36384 PrCmT../f9669..

term root
f4719..