Proofgold Proposition

∀ x0 x1 x2 . Field_Hom x0 x1 x2 ⟶ ∀ x3 . x3 ∈ field0 x0 ⟶ ∀ x4 . x4 ∈ field0 x0 ⟶ ap x2 x3 = ap x2 x4 ⟶ x3 = x4

type
prop

theory
HotG

name
Field_Hom_inj

proof
PUXQg..

Megalodon
Field_Hom_inj

proofgold address
TMPDz..^{Field_Hom_inj}

creator
5919 Pr6Pc../4e024..

owner
5919 Pr6Pc../4e024..

term root
68a0d..