Proofgold Proposition

∀ x0 x1 x2 : ο . wb (wvd2 x0 x1 x2) (wa x0 x1 ⟶ x2)

type
prop

theory
SetMM

name
df_vd2

proof
PUQnf..

Megalodon
-

proofgold address
TMGB8..

creator
36386 PrCmT../556c9..

owner
36386 PrCmT../556c9..

term root
204ca..