Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 : ι → ι → ο . wb (wrnf x0 x1) (wrex x0 x1 ⟶ wral x0 x1)

type
prop

theory
SetMM

name
df_bj_rnf

proof
PUMPg..

Megalodon
-

proofgold address
TMWMo..

creator
36399 PrCmT../e11c0..

owner
36399 PrCmT../e11c0..

term root
e1ed5..