Proofgold Proposition

∀ x0 x1 . ap (Galois_Group x0 x1) 0 = Sep (setexp (ap x0 0) (ap x0 0)) (Field_automorphism_fixing x0 x1)

type
prop

theory
HotG

name
Galois_Group_0

proof
PUXQg..

Megalodon
Galois_Group_0

proofgold address
TMHr9..^{Galois_Group_0}

creator
5919 Pr6Pc../33947..

owner
5919 Pr6Pc../33947..

term root
c937d..