Proofgold Proposition

wceq c0o (cmpt2 (λ x0 x1 . cnv) (λ x0 x1 . cnv) (λ x0 x1 . cxp (cfv (cv x0) cba) (csn (cfv (cv x1) cn0v))))

type
prop

theory
SetMM

name
df_0o

proof
PUZX6..

Megalodon
-

proofgold address
TMRkA..

creator
36383 PrCmT../da586..

owner
36383 PrCmT../da586..

term root
21565..