Proofgold Proposition

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

type
prop

theory
hf axiom

name
and_def

proof
-

Megalodon
and_def

proofgold address
-

creator

owner

term root
eaeca..