Proofgold Proposition

∀ x0 x1 : ι → ο . wb (wreflexive x0 x1) (wa (wss x1 (cxp x0 x0)) (wral (λ x2 . wbr (cv x2) (cv x2) x1) (λ x2 . x0)))

type
prop

theory
SetMM

name
df_reflexive

proof
PUVbx..

Megalodon
-

proofgold address
TMTfd..

creator
36378 PrCmT../6a45d..

owner
36378 PrCmT../6a45d..

term root
1004e..