Proofgold Proposition

∀ x0 x1 x2 : ο . wb (w3nand x0 x1 x2) (x0 ⟶ x1 ⟶ wn x2)

type
prop

theory
SetMM

name
df_3nand

proof
PUVbZ..

Megalodon
-

proofgold address
TMLv2..

creator
36377 PrCmT../01d24..

owner
36377 PrCmT../01d24..

term root
6c14a..