Proofgold Proposition

∀ x0 : ι → ο . wceq (cdm x0) (cab (λ x1 . wex (λ x2 . wbr (cv x1) (cv x2) x0)))

type
prop

theory
SetMM

name
df_dm

proof
PUaCV..

Megalodon
-

proofgold address
TMXzV..

creator
36396 PrCmT../04454..

owner
36396 PrCmT../04454..

term root
a54ae..