Proofgold Proposition

wceq cp1 (cmpt (λ x0 . cvv) (λ x0 . cfv (cfv (cv x0) cbs) (cfv (cv x0) club)))

type
prop

theory
SetMM

name
df_p1

proof
PUe9S..

Megalodon
-

proofgold address
TMFJJ..

creator
36384 PrCmT../773ab..

owner
36384 PrCmT../773ab..

term root
acfbc..