Proofgold Proposition

∀ x0 x1 : ι → ο . (∀ x2 : ο . (∀ x3 . and (x0 x3) (x1 x3) ⟶ x2) ⟶ x2) ⟶ ∀ x2 : ο . (∀ x3 . x0 x3 ⟶ x1 x3 ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
exandE_i

proofgold address
TMFeZ..^exandE_i

creator
1168 PrGxv../8bc6f..

owner
1168 PrGxv../8bc6f..

term root
3848c..