Proofgold Proposition

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

type
prop

theory
HotG

name
f_eq_i

proof
PUYnZ..

Megalodon
f_eq_i

proofgold address
TMcdc..^f_eq_i

creator
4950 Pr6Pc../41e97..

owner
4950 Pr6Pc../41e97..

term root
b0871..