Proofgold Proposition

∀ x0 x1 : ι → ο . wb (wer x0 x1) (w3a (wrel x1) (wceq (cdm x1) x0) (wss (cun (ccnv x1) (ccom x1 x1)) x1))

type
prop

theory
SetMM

name
df_er

proof
PUR6R..

Megalodon
-

proofgold address
TMW3J..

creator
36396 PrCmT../3dc97..

owner
36396 PrCmT../3dc97..

term root
8137b..