Proofgold Proposition

wceq csethom (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . cab (λ x2 . wf (cv x0) (cv x1) (cv x2))))

type
prop

theory
SetMM

name
df_bj_sethom

proof
PUMPg..

Megalodon
-

proofgold address
TMNUa..

creator
36399 PrCmT../69654..

owner
36399 PrCmT../69654..

term root
fb823..