Proofgold Proposition

∀ x0 x1 : ι → ι → ο . wb (wdisj x0 x1) (∀ x2 . wrmo (λ x3 . wcel (cv x2) (x1 x3)) x0)

type
prop

theory
SetMM

name
df_disj

proof
PUQyb..

Megalodon
-

proofgold address
TMHyC..

creator
36397 PrCmT../faf73..

owner
36397 PrCmT../faf73..

term root
42069..