Proofgold Proposition

or = λ x1 x2 : ο . ∀ x3 : ο . (x1 ⟶ x3) ⟶ (x2 ⟶ x3) ⟶ x3

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
or_def

proofgold address
-

creator

owner

term root
1c24d..