Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ο . (∀ x3 . In x3 x0 ⟶ iff (x1 x3) (x2 x3)) ⟶ PNoEq_ x0 x1 x2

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
PNoEq__I

proofgold address
TMavx..^PNoEq__I

creator
2357 PrGxv../c3b2a..

owner
2357 PrGxv../c3b2a..

term root
bb691..