Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 : (ι → ο) → ο . x0 ⟶ 06f01.. x0 x1 x2 = x1

type
prop

theory
HF

name
-

proof
PUXbj..

Megalodon
If_Vo2_1

proofgold address
TMLNa..^If_Vo2_1

creator
1478 PrGxv../2968a..

owner
1478 PrGxv../2968a..

term root
d4ef1..