Proofgold Proposition

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

type
prop

theory
HotG

name
exandE_i

proof
PUXLb..

Megalodon
exandE_i

proofgold address
TMYHN..^exandE_i

creator
4892 Pr6Pc../5d8d3..

owner
4892 Pr6Pc../5d8d3..

term root
083f8..