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
HoTg

name
If_i_correct

proof
PULk4..

Megalodon
-

proofgold address
TMcAr..

creator
2719 PrGxv../13c3f..

owner
2719 PrGxv../13c3f..

term root
2a17a..