Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 x2 . x1 = x2 ⟶ x0 x1 = x0 x2

type
prop

theory
HF

name
f_eq_i

proof
PUUci..

Megalodon
f_equal_i_i

proofgold address
TMaMZ..^f_equal_i_i

creator
1149 PrGxv../f17e4..

owner
1149 PrGxv../f17e4..

term root
b0871..