Proofgold Proposition

∀ x0 x1 . subfield x0 x1 ⟶ Group (Galois_Group x1 x0)

type
prop

theory
HotG

name
Galois_Group_Group

proof
PUXQg..

Megalodon
Galois_Group_Group

proofgold address
TMZrV..^{Galois_Group_Group}

creator
5919 Pr6Pc../b24c8..

owner
5919 Pr6Pc../b24c8..

term root
23e81..