Proofgold Proposition

wceq cehl (cmpt (λ x0 . cn0) (λ x0 . cfv (co c1 (cv x0) cfz) crrx))

type
prop

theory
SetMM

name
df_ehl

proof
PUa4n..

Megalodon
-

proofgold address
TMS6J..

creator
36386 PrCmT../5d7e3..

owner
36386 PrCmT../5d7e3..

term root
7df45..