Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 : ι → ι . x0 ⟶ 711f6.. x0 x1 x2 = x1

type
prop

theory
HF

name
-

proof
PUXbj..

Megalodon
If_ii_1

proofgold address
TMG4f..^If_ii_1

creator
1478 PrGxv../5a2cf..

owner
1478 PrGxv../5a2cf..

term root
b5ac3..