Proofgold Proposition

wceq cmoore (cab (λ x0 . wral (λ x1 . wcel (cin (cuni (cv x0)) (cint (cv x1))) (cv x0)) (λ x1 . cpw (cv x0))))

type
prop

theory
SetMM

name
df_bj_moore

proof
PUMPg..

Megalodon
-

proofgold address
TMdQk..

creator
36399 PrCmT../91633..

owner
36399 PrCmT../91633..

term root
2adf5..