Proofgold Proposition

wceq cp0 (cmpt (λ x0 . cvv) (λ x0 . cfv (cfv (cv x0) cbs) (cfv (cv x0) cglb)))

type
prop

theory
SetMM

name
df_p0

proof
PUe9S..

Megalodon
-

proofgold address
TMMFx..

creator
36384 PrCmT../37498..

owner
36384 PrCmT../37498..

term root
01aec..