Proofgold Proposition

∀ x0 x1 x2 . subfield x1 x0 ⟶ Field_Hom x0 x0 x2 ⟶ (∀ x3 . x3 ∈ ap x0 0 ⟶ ∀ x4 : ο . (∀ x5 . and (x5 ∈ ap x0 0) (ap x2 x5 = x3) ⟶ x4) ⟶ x4) ⟶ (∀ x3 . x3 ∈ ap x1 0 ⟶ ap x2 x3 = x3) ⟶ Field_automorphism_fixing x0 x1 x2

type
prop

theory
HotG

name
Field_automorphism_fixing_I

proof
PUXQg..

Megalodon
Field_automorphism_fixing_I

proofgold address
TMaXJ..^{Field_automorphism_fixing_I}

creator
5919 Pr6Pc../5f1e6..

owner
5919 Pr6Pc../5f1e6..

term root
8f616..