Proofgold Proposition

∀ x0 x1 x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ and x0 x1 ⟶ x2

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
andE_imp

proofgold address
TMJwe..^andE_imp

creator
2311 PrGxv../ca32e..

owner
2311 PrGxv../ca32e..

term root
670c1..