Proofgold Proposition

∀ x0 x1 : ((ι → ο) → ο) → ο . a327b.. x0 = a327b.. x1 ⟶ x0 = x1

type
prop

theory
HF

name
-

proof
PUXbj..

Megalodon
incl_3_4_inj

proofgold address
TMNiv..^incl_3_4_inj

creator
1478 PrGxv../16286..

owner
1478 PrGxv../16286..

term root
fb936..