Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 . or (and x0 (If_i x0 x1 x2 = x1)) (and (not x0) (If_i x0 x1 x2 = x2))

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
-

proofgold address
TMPAC..

creator
1339 PrGxv../7ee72..

owner
1339 PrGxv../7ee72..

term root
dd02c..