Proofgold Proposition

wceq cdom (copab (λ x0 x1 . wex (λ x2 . wf1 (cv x0) (cv x1) (cv x2))))

type
prop

theory
SetMM

name
df_dom

proof
PUQ2W..

Megalodon
-

proofgold address
TMVW4..

creator
36396 PrCmT../75d98..

owner
36396 PrCmT../75d98..

term root
2f542..