Proofgold Proposition

∀ x0 x1 : ο . iff x0 x1 ⟶ ∀ x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ (not x0 ⟶ not x1 ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
iffE

proofgold address
TMavg..^iffE

creator
316 Pr8qe../6fcd8..

owner
316 Pr8qe../6fcd8..

term root
6e9d7..