Proofgold Proposition

PNoEq_ = λ x1 . λ x2 x3 : ι → ο . ∀ x4 . In x4 x1 ⟶ iff (x2 x4) (x3 x4)

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
PNoEq__def

proofgold address
-

creator

owner

term root
ee0b4..