noncomputable def HexGFqMathlib.Conway.embed_227_1_4 : Hex.GFq 227 1 Hex.Conway.supportedEntry_227_1 →+* Hex.GFq 227 4 Hex.Conway.supportedEntry_227_4

The canonical embedding of GF(227^1) into GF(227^4).

Equations

• HexGFqMathlib.Conway.embed_227_1_4 = HexGFqMathlib.conwayEmbed 227 1 4 Hex.Conway.supportedEntry_227_1 Hex.Conway.supportedEntry_227_4 Hex.Conway.compat_227_1_4

noncomputable def HexGFqMathlib.Conway.embed_227_2_4 : Hex.GFq 227 2 Hex.Conway.supportedEntry_227_2 →+* Hex.GFq 227 4 Hex.Conway.supportedEntry_227_4

The canonical embedding of GF(227^2) into GF(227^4).

Equations

• HexGFqMathlib.Conway.embed_227_2_4 = HexGFqMathlib.conwayEmbed 227 2 4 Hex.Conway.supportedEntry_227_2 Hex.Conway.supportedEntry_227_4 Hex.Conway.compat_227_2_4

noncomputable def HexGFqMathlib.Conway.embed_229_1_2 : Hex.GFq 229 1 Hex.Conway.supportedEntry_229_1 →+* Hex.GFq 229 2 Hex.Conway.supportedEntry_229_2

The canonical embedding of GF(229^1) into GF(229^2).

Equations

• HexGFqMathlib.Conway.embed_229_1_2 = HexGFqMathlib.conwayEmbed 229 1 2 Hex.Conway.supportedEntry_229_1 Hex.Conway.supportedEntry_229_2 Hex.Conway.compat_229_1_2

noncomputable def HexGFqMathlib.Conway.embed_229_1_3 : Hex.GFq 229 1 Hex.Conway.supportedEntry_229_1 →+* Hex.GFq 229 3 Hex.Conway.supportedEntry_229_3

The canonical embedding of GF(229^1) into GF(229^3).

Equations

• HexGFqMathlib.Conway.embed_229_1_3 = HexGFqMathlib.conwayEmbed 229 1 3 Hex.Conway.supportedEntry_229_1 Hex.Conway.supportedEntry_229_3 Hex.Conway.compat_229_1_3

noncomputable def HexGFqMathlib.Conway.embed_229_1_4 : Hex.GFq 229 1 Hex.Conway.supportedEntry_229_1 →+* Hex.GFq 229 4 Hex.Conway.supportedEntry_229_4

The canonical embedding of GF(229^1) into GF(229^4).

Equations

• HexGFqMathlib.Conway.embed_229_1_4 = HexGFqMathlib.conwayEmbed 229 1 4 Hex.Conway.supportedEntry_229_1 Hex.Conway.supportedEntry_229_4 Hex.Conway.compat_229_1_4

noncomputable def HexGFqMathlib.Conway.embed_229_2_4 : Hex.GFq 229 2 Hex.Conway.supportedEntry_229_2 →+* Hex.GFq 229 4 Hex.Conway.supportedEntry_229_4

The canonical embedding of GF(229^2) into GF(229^4).

Equations

• HexGFqMathlib.Conway.embed_229_2_4 = HexGFqMathlib.conwayEmbed 229 2 4 Hex.Conway.supportedEntry_229_2 Hex.Conway.supportedEntry_229_4 Hex.Conway.compat_229_2_4

noncomputable def HexGFqMathlib.Conway.embed_233_1_2 : Hex.GFq 233 1 Hex.Conway.supportedEntry_233_1 →+* Hex.GFq 233 2 Hex.Conway.supportedEntry_233_2

The canonical embedding of GF(233^1) into GF(233^2).

Equations

• HexGFqMathlib.Conway.embed_233_1_2 = HexGFqMathlib.conwayEmbed 233 1 2 Hex.Conway.supportedEntry_233_1 Hex.Conway.supportedEntry_233_2 Hex.Conway.compat_233_1_2

noncomputable def HexGFqMathlib.Conway.embed_233_1_3 : Hex.GFq 233 1 Hex.Conway.supportedEntry_233_1 →+* Hex.GFq 233 3 Hex.Conway.supportedEntry_233_3

The canonical embedding of GF(233^1) into GF(233^3).

Equations

• HexGFqMathlib.Conway.embed_233_1_3 = HexGFqMathlib.conwayEmbed 233 1 3 Hex.Conway.supportedEntry_233_1 Hex.Conway.supportedEntry_233_3 Hex.Conway.compat_233_1_3

noncomputable def HexGFqMathlib.Conway.embed_233_1_4 : Hex.GFq 233 1 Hex.Conway.supportedEntry_233_1 →+* Hex.GFq 233 4 Hex.Conway.supportedEntry_233_4

The canonical embedding of GF(233^1) into GF(233^4).

Equations

• HexGFqMathlib.Conway.embed_233_1_4 = HexGFqMathlib.conwayEmbed 233 1 4 Hex.Conway.supportedEntry_233_1 Hex.Conway.supportedEntry_233_4 Hex.Conway.compat_233_1_4

noncomputable def HexGFqMathlib.Conway.embed_233_2_4 : Hex.GFq 233 2 Hex.Conway.supportedEntry_233_2 →+* Hex.GFq 233 4 Hex.Conway.supportedEntry_233_4

The canonical embedding of GF(233^2) into GF(233^4).

Equations

• HexGFqMathlib.Conway.embed_233_2_4 = HexGFqMathlib.conwayEmbed 233 2 4 Hex.Conway.supportedEntry_233_2 Hex.Conway.supportedEntry_233_4 Hex.Conway.compat_233_2_4

noncomputable def HexGFqMathlib.Conway.embed_239_1_2 : Hex.GFq 239 1 Hex.Conway.supportedEntry_239_1 →+* Hex.GFq 239 2 Hex.Conway.supportedEntry_239_2

The canonical embedding of GF(239^1) into GF(239^2).

Equations

• HexGFqMathlib.Conway.embed_239_1_2 = HexGFqMathlib.conwayEmbed 239 1 2 Hex.Conway.supportedEntry_239_1 Hex.Conway.supportedEntry_239_2 Hex.Conway.compat_239_1_2

noncomputable def HexGFqMathlib.Conway.embed_239_1_3 : Hex.GFq 239 1 Hex.Conway.supportedEntry_239_1 →+* Hex.GFq 239 3 Hex.Conway.supportedEntry_239_3

The canonical embedding of GF(239^1) into GF(239^3).

Equations

• HexGFqMathlib.Conway.embed_239_1_3 = HexGFqMathlib.conwayEmbed 239 1 3 Hex.Conway.supportedEntry_239_1 Hex.Conway.supportedEntry_239_3 Hex.Conway.compat_239_1_3

noncomputable def HexGFqMathlib.Conway.embed_239_1_4 : Hex.GFq 239 1 Hex.Conway.supportedEntry_239_1 →+* Hex.GFq 239 4 Hex.Conway.supportedEntry_239_4

The canonical embedding of GF(239^1) into GF(239^4).

Equations

• HexGFqMathlib.Conway.embed_239_1_4 = HexGFqMathlib.conwayEmbed 239 1 4 Hex.Conway.supportedEntry_239_1 Hex.Conway.supportedEntry_239_4 Hex.Conway.compat_239_1_4

noncomputable def HexGFqMathlib.Conway.embed_239_2_4 : Hex.GFq 239 2 Hex.Conway.supportedEntry_239_2 →+* Hex.GFq 239 4 Hex.Conway.supportedEntry_239_4

The canonical embedding of GF(239^2) into GF(239^4).

Equations

• HexGFqMathlib.Conway.embed_239_2_4 = HexGFqMathlib.conwayEmbed 239 2 4 Hex.Conway.supportedEntry_239_2 Hex.Conway.supportedEntry_239_4 Hex.Conway.compat_239_2_4

noncomputable def HexGFqMathlib.Conway.embed_241_1_2 : Hex.GFq 241 1 Hex.Conway.supportedEntry_241_1 →+* Hex.GFq 241 2 Hex.Conway.supportedEntry_241_2

The canonical embedding of GF(241^1) into GF(241^2).

Equations

• HexGFqMathlib.Conway.embed_241_1_2 = HexGFqMathlib.conwayEmbed 241 1 2 Hex.Conway.supportedEntry_241_1 Hex.Conway.supportedEntry_241_2 Hex.Conway.compat_241_1_2

noncomputable def HexGFqMathlib.Conway.embed_241_1_3 : Hex.GFq 241 1 Hex.Conway.supportedEntry_241_1 →+* Hex.GFq 241 3 Hex.Conway.supportedEntry_241_3

The canonical embedding of GF(241^1) into GF(241^3).

Equations

• HexGFqMathlib.Conway.embed_241_1_3 = HexGFqMathlib.conwayEmbed 241 1 3 Hex.Conway.supportedEntry_241_1 Hex.Conway.supportedEntry_241_3 Hex.Conway.compat_241_1_3

noncomputable def HexGFqMathlib.Conway.embed_241_1_4 : Hex.GFq 241 1 Hex.Conway.supportedEntry_241_1 →+* Hex.GFq 241 4 Hex.Conway.supportedEntry_241_4

The canonical embedding of GF(241^1) into GF(241^4).

Equations

• HexGFqMathlib.Conway.embed_241_1_4 = HexGFqMathlib.conwayEmbed 241 1 4 Hex.Conway.supportedEntry_241_1 Hex.Conway.supportedEntry_241_4 Hex.Conway.compat_241_1_4

noncomputable def HexGFqMathlib.Conway.embed_241_2_4 : Hex.GFq 241 2 Hex.Conway.supportedEntry_241_2 →+* Hex.GFq 241 4 Hex.Conway.supportedEntry_241_4

The canonical embedding of GF(241^2) into GF(241^4).

Equations

• HexGFqMathlib.Conway.embed_241_2_4 = HexGFqMathlib.conwayEmbed 241 2 4 Hex.Conway.supportedEntry_241_2 Hex.Conway.supportedEntry_241_4 Hex.Conway.compat_241_2_4

noncomputable def HexGFqMathlib.Conway.embed_251_1_2 : Hex.GFq 251 1 Hex.Conway.supportedEntry_251_1 →+* Hex.GFq 251 2 Hex.Conway.supportedEntry_251_2

The canonical embedding of GF(251^1) into GF(251^2).

Equations

• HexGFqMathlib.Conway.embed_251_1_2 = HexGFqMathlib.conwayEmbed 251 1 2 Hex.Conway.supportedEntry_251_1 Hex.Conway.supportedEntry_251_2 Hex.Conway.compat_251_1_2

noncomputable def HexGFqMathlib.Conway.embed_251_1_3 : Hex.GFq 251 1 Hex.Conway.supportedEntry_251_1 →+* Hex.GFq 251 3 Hex.Conway.supportedEntry_251_3

The canonical embedding of GF(251^1) into GF(251^3).

Equations

• HexGFqMathlib.Conway.embed_251_1_3 = HexGFqMathlib.conwayEmbed 251 1 3 Hex.Conway.supportedEntry_251_1 Hex.Conway.supportedEntry_251_3 Hex.Conway.compat_251_1_3

noncomputable def HexGFqMathlib.Conway.embed_251_1_4 : Hex.GFq 251 1 Hex.Conway.supportedEntry_251_1 →+* Hex.GFq 251 4 Hex.Conway.supportedEntry_251_4

The canonical embedding of GF(251^1) into GF(251^4).

Equations

• HexGFqMathlib.Conway.embed_251_1_4 = HexGFqMathlib.conwayEmbed 251 1 4 Hex.Conway.supportedEntry_251_1 Hex.Conway.supportedEntry_251_4 Hex.Conway.compat_251_1_4

noncomputable def HexGFqMathlib.Conway.embed_251_2_4 : Hex.GFq 251 2 Hex.Conway.supportedEntry_251_2 →+* Hex.GFq 251 4 Hex.Conway.supportedEntry_251_4

The canonical embedding of GF(251^2) into GF(251^4).

Equations

• HexGFqMathlib.Conway.embed_251_2_4 = HexGFqMathlib.conwayEmbed 251 2 4 Hex.Conway.supportedEntry_251_2 Hex.Conway.supportedEntry_251_4 Hex.Conway.compat_251_2_4

noncomputable def HexGFqMathlib.Conway.embed_257_1_2 : Hex.GFq 257 1 Hex.Conway.supportedEntry_257_1 →+* Hex.GFq 257 2 Hex.Conway.supportedEntry_257_2

The canonical embedding of GF(257^1) into GF(257^2).

Equations

• HexGFqMathlib.Conway.embed_257_1_2 = HexGFqMathlib.conwayEmbed 257 1 2 Hex.Conway.supportedEntry_257_1 Hex.Conway.supportedEntry_257_2 Hex.Conway.compat_257_1_2

noncomputable def HexGFqMathlib.Conway.embed_257_1_3 : Hex.GFq 257 1 Hex.Conway.supportedEntry_257_1 →+* Hex.GFq 257 3 Hex.Conway.supportedEntry_257_3

The canonical embedding of GF(257^1) into GF(257^3).

Equations

• HexGFqMathlib.Conway.embed_257_1_3 = HexGFqMathlib.conwayEmbed 257 1 3 Hex.Conway.supportedEntry_257_1 Hex.Conway.supportedEntry_257_3 Hex.Conway.compat_257_1_3

noncomputable def HexGFqMathlib.Conway.embed_257_1_4 : Hex.GFq 257 1 Hex.Conway.supportedEntry_257_1 →+* Hex.GFq 257 4 Hex.Conway.supportedEntry_257_4

The canonical embedding of GF(257^1) into GF(257^4).

Equations

• HexGFqMathlib.Conway.embed_257_1_4 = HexGFqMathlib.conwayEmbed 257 1 4 Hex.Conway.supportedEntry_257_1 Hex.Conway.supportedEntry_257_4 Hex.Conway.compat_257_1_4

noncomputable def HexGFqMathlib.Conway.embed_257_2_4 : Hex.GFq 257 2 Hex.Conway.supportedEntry_257_2 →+* Hex.GFq 257 4 Hex.Conway.supportedEntry_257_4

The canonical embedding of GF(257^2) into GF(257^4).

Equations

• HexGFqMathlib.Conway.embed_257_2_4 = HexGFqMathlib.conwayEmbed 257 2 4 Hex.Conway.supportedEntry_257_2 Hex.Conway.supportedEntry_257_4 Hex.Conway.compat_257_2_4

noncomputable def HexGFqMathlib.Conway.embed_263_1_2 : Hex.GFq 263 1 Hex.Conway.supportedEntry_263_1 →+* Hex.GFq 263 2 Hex.Conway.supportedEntry_263_2

The canonical embedding of GF(263^1) into GF(263^2).

Equations

• HexGFqMathlib.Conway.embed_263_1_2 = HexGFqMathlib.conwayEmbed 263 1 2 Hex.Conway.supportedEntry_263_1 Hex.Conway.supportedEntry_263_2 Hex.Conway.compat_263_1_2

noncomputable def HexGFqMathlib.Conway.embed_263_1_3 : Hex.GFq 263 1 Hex.Conway.supportedEntry_263_1 →+* Hex.GFq 263 3 Hex.Conway.supportedEntry_263_3

The canonical embedding of GF(263^1) into GF(263^3).

Equations

• HexGFqMathlib.Conway.embed_263_1_3 = HexGFqMathlib.conwayEmbed 263 1 3 Hex.Conway.supportedEntry_263_1 Hex.Conway.supportedEntry_263_3 Hex.Conway.compat_263_1_3

noncomputable def HexGFqMathlib.Conway.embed_263_1_4 : Hex.GFq 263 1 Hex.Conway.supportedEntry_263_1 →+* Hex.GFq 263 4 Hex.Conway.supportedEntry_263_4

The canonical embedding of GF(263^1) into GF(263^4).

Equations

• HexGFqMathlib.Conway.embed_263_1_4 = HexGFqMathlib.conwayEmbed 263 1 4 Hex.Conway.supportedEntry_263_1 Hex.Conway.supportedEntry_263_4 Hex.Conway.compat_263_1_4

noncomputable def HexGFqMathlib.Conway.embed_263_2_4 : Hex.GFq 263 2 Hex.Conway.supportedEntry_263_2 →+* Hex.GFq 263 4 Hex.Conway.supportedEntry_263_4

The canonical embedding of GF(263^2) into GF(263^4).

Equations

• HexGFqMathlib.Conway.embed_263_2_4 = HexGFqMathlib.conwayEmbed 263 2 4 Hex.Conway.supportedEntry_263_2 Hex.Conway.supportedEntry_263_4 Hex.Conway.compat_263_2_4

noncomputable def HexGFqMathlib.Conway.embed_269_1_2 : Hex.GFq 269 1 Hex.Conway.supportedEntry_269_1 →+* Hex.GFq 269 2 Hex.Conway.supportedEntry_269_2

The canonical embedding of GF(269^1) into GF(269^2).

Equations

• HexGFqMathlib.Conway.embed_269_1_2 = HexGFqMathlib.conwayEmbed 269 1 2 Hex.Conway.supportedEntry_269_1 Hex.Conway.supportedEntry_269_2 Hex.Conway.compat_269_1_2

noncomputable def HexGFqMathlib.Conway.embed_269_1_3 : Hex.GFq 269 1 Hex.Conway.supportedEntry_269_1 →+* Hex.GFq 269 3 Hex.Conway.supportedEntry_269_3

The canonical embedding of GF(269^1) into GF(269^3).

Equations

• HexGFqMathlib.Conway.embed_269_1_3 = HexGFqMathlib.conwayEmbed 269 1 3 Hex.Conway.supportedEntry_269_1 Hex.Conway.supportedEntry_269_3 Hex.Conway.compat_269_1_3

noncomputable def HexGFqMathlib.Conway.embed_269_1_4 : Hex.GFq 269 1 Hex.Conway.supportedEntry_269_1 →+* Hex.GFq 269 4 Hex.Conway.supportedEntry_269_4

The canonical embedding of GF(269^1) into GF(269^4).

Equations

• HexGFqMathlib.Conway.embed_269_1_4 = HexGFqMathlib.conwayEmbed 269 1 4 Hex.Conway.supportedEntry_269_1 Hex.Conway.supportedEntry_269_4 Hex.Conway.compat_269_1_4

noncomputable def HexGFqMathlib.Conway.embed_269_2_4 : Hex.GFq 269 2 Hex.Conway.supportedEntry_269_2 →+* Hex.GFq 269 4 Hex.Conway.supportedEntry_269_4

The canonical embedding of GF(269^2) into GF(269^4).

Equations

• HexGFqMathlib.Conway.embed_269_2_4 = HexGFqMathlib.conwayEmbed 269 2 4 Hex.Conway.supportedEntry_269_2 Hex.Conway.supportedEntry_269_4 Hex.Conway.compat_269_2_4

noncomputable def HexGFqMathlib.Conway.embed_271_1_2 : Hex.GFq 271 1 Hex.Conway.supportedEntry_271_1 →+* Hex.GFq 271 2 Hex.Conway.supportedEntry_271_2

The canonical embedding of GF(271^1) into GF(271^2).

Equations

• HexGFqMathlib.Conway.embed_271_1_2 = HexGFqMathlib.conwayEmbed 271 1 2 Hex.Conway.supportedEntry_271_1 Hex.Conway.supportedEntry_271_2 Hex.Conway.compat_271_1_2

noncomputable def HexGFqMathlib.Conway.embed_271_1_3 : Hex.GFq 271 1 Hex.Conway.supportedEntry_271_1 →+* Hex.GFq 271 3 Hex.Conway.supportedEntry_271_3

The canonical embedding of GF(271^1) into GF(271^3).

Equations

• HexGFqMathlib.Conway.embed_271_1_3 = HexGFqMathlib.conwayEmbed 271 1 3 Hex.Conway.supportedEntry_271_1 Hex.Conway.supportedEntry_271_3 Hex.Conway.compat_271_1_3

noncomputable def HexGFqMathlib.Conway.embed_271_1_4 : Hex.GFq 271 1 Hex.Conway.supportedEntry_271_1 →+* Hex.GFq 271 4 Hex.Conway.supportedEntry_271_4

The canonical embedding of GF(271^1) into GF(271^4).

Equations

• HexGFqMathlib.Conway.embed_271_1_4 = HexGFqMathlib.conwayEmbed 271 1 4 Hex.Conway.supportedEntry_271_1 Hex.Conway.supportedEntry_271_4 Hex.Conway.compat_271_1_4

noncomputable def HexGFqMathlib.Conway.embed_271_2_4 : Hex.GFq 271 2 Hex.Conway.supportedEntry_271_2 →+* Hex.GFq 271 4 Hex.Conway.supportedEntry_271_4

The canonical embedding of GF(271^2) into GF(271^4).

Equations

• HexGFqMathlib.Conway.embed_271_2_4 = HexGFqMathlib.conwayEmbed 271 2 4 Hex.Conway.supportedEntry_271_2 Hex.Conway.supportedEntry_271_4 Hex.Conway.compat_271_2_4

noncomputable def HexGFqMathlib.Conway.embed_277_1_2 : Hex.GFq 277 1 Hex.Conway.supportedEntry_277_1 →+* Hex.GFq 277 2 Hex.Conway.supportedEntry_277_2

The canonical embedding of GF(277^1) into GF(277^2).

Equations

• HexGFqMathlib.Conway.embed_277_1_2 = HexGFqMathlib.conwayEmbed 277 1 2 Hex.Conway.supportedEntry_277_1 Hex.Conway.supportedEntry_277_2 Hex.Conway.compat_277_1_2

noncomputable def HexGFqMathlib.Conway.embed_277_1_3 : Hex.GFq 277 1 Hex.Conway.supportedEntry_277_1 →+* Hex.GFq 277 3 Hex.Conway.supportedEntry_277_3

The canonical embedding of GF(277^1) into GF(277^3).

Equations

• HexGFqMathlib.Conway.embed_277_1_3 = HexGFqMathlib.conwayEmbed 277 1 3 Hex.Conway.supportedEntry_277_1 Hex.Conway.supportedEntry_277_3 Hex.Conway.compat_277_1_3

noncomputable def HexGFqMathlib.Conway.embed_277_1_4 : Hex.GFq 277 1 Hex.Conway.supportedEntry_277_1 →+* Hex.GFq 277 4 Hex.Conway.supportedEntry_277_4

The canonical embedding of GF(277^1) into GF(277^4).

Equations

• HexGFqMathlib.Conway.embed_277_1_4 = HexGFqMathlib.conwayEmbed 277 1 4 Hex.Conway.supportedEntry_277_1 Hex.Conway.supportedEntry_277_4 Hex.Conway.compat_277_1_4

noncomputable def HexGFqMathlib.Conway.embed_277_2_4 : Hex.GFq 277 2 Hex.Conway.supportedEntry_277_2 →+* Hex.GFq 277 4 Hex.Conway.supportedEntry_277_4

The canonical embedding of GF(277^2) into GF(277^4).

Equations

• HexGFqMathlib.Conway.embed_277_2_4 = HexGFqMathlib.conwayEmbed 277 2 4 Hex.Conway.supportedEntry_277_2 Hex.Conway.supportedEntry_277_4 Hex.Conway.compat_277_2_4

noncomputable def HexGFqMathlib.Conway.embed_281_1_2 : Hex.GFq 281 1 Hex.Conway.supportedEntry_281_1 →+* Hex.GFq 281 2 Hex.Conway.supportedEntry_281_2

The canonical embedding of GF(281^1) into GF(281^2).

Equations

• HexGFqMathlib.Conway.embed_281_1_2 = HexGFqMathlib.conwayEmbed 281 1 2 Hex.Conway.supportedEntry_281_1 Hex.Conway.supportedEntry_281_2 Hex.Conway.compat_281_1_2

noncomputable def HexGFqMathlib.Conway.embed_281_1_3 : Hex.GFq 281 1 Hex.Conway.supportedEntry_281_1 →+* Hex.GFq 281 3 Hex.Conway.supportedEntry_281_3

The canonical embedding of GF(281^1) into GF(281^3).

Equations

• HexGFqMathlib.Conway.embed_281_1_3 = HexGFqMathlib.conwayEmbed 281 1 3 Hex.Conway.supportedEntry_281_1 Hex.Conway.supportedEntry_281_3 Hex.Conway.compat_281_1_3

noncomputable def HexGFqMathlib.Conway.embed_281_1_4 : Hex.GFq 281 1 Hex.Conway.supportedEntry_281_1 →+* Hex.GFq 281 4 Hex.Conway.supportedEntry_281_4

The canonical embedding of GF(281^1) into GF(281^4).

Equations

• HexGFqMathlib.Conway.embed_281_1_4 = HexGFqMathlib.conwayEmbed 281 1 4 Hex.Conway.supportedEntry_281_1 Hex.Conway.supportedEntry_281_4 Hex.Conway.compat_281_1_4

noncomputable def HexGFqMathlib.Conway.embed_281_2_4 : Hex.GFq 281 2 Hex.Conway.supportedEntry_281_2 →+* Hex.GFq 281 4 Hex.Conway.supportedEntry_281_4

The canonical embedding of GF(281^2) into GF(281^4).

Equations

• HexGFqMathlib.Conway.embed_281_2_4 = HexGFqMathlib.conwayEmbed 281 2 4 Hex.Conway.supportedEntry_281_2 Hex.Conway.supportedEntry_281_4 Hex.Conway.compat_281_2_4

noncomputable def HexGFqMathlib.Conway.embed_283_1_2 : Hex.GFq 283 1 Hex.Conway.supportedEntry_283_1 →+* Hex.GFq 283 2 Hex.Conway.supportedEntry_283_2

The canonical embedding of GF(283^1) into GF(283^2).

Equations

• HexGFqMathlib.Conway.embed_283_1_2 = HexGFqMathlib.conwayEmbed 283 1 2 Hex.Conway.supportedEntry_283_1 Hex.Conway.supportedEntry_283_2 Hex.Conway.compat_283_1_2

noncomputable def HexGFqMathlib.Conway.embed_283_1_3 : Hex.GFq 283 1 Hex.Conway.supportedEntry_283_1 →+* Hex.GFq 283 3 Hex.Conway.supportedEntry_283_3

The canonical embedding of GF(283^1) into GF(283^3).

Equations

• HexGFqMathlib.Conway.embed_283_1_3 = HexGFqMathlib.conwayEmbed 283 1 3 Hex.Conway.supportedEntry_283_1 Hex.Conway.supportedEntry_283_3 Hex.Conway.compat_283_1_3

noncomputable def HexGFqMathlib.Conway.embed_283_1_4 : Hex.GFq 283 1 Hex.Conway.supportedEntry_283_1 →+* Hex.GFq 283 4 Hex.Conway.supportedEntry_283_4

The canonical embedding of GF(283^1) into GF(283^4).

Equations

• HexGFqMathlib.Conway.embed_283_1_4 = HexGFqMathlib.conwayEmbed 283 1 4 Hex.Conway.supportedEntry_283_1 Hex.Conway.supportedEntry_283_4 Hex.Conway.compat_283_1_4

noncomputable def HexGFqMathlib.Conway.embed_283_2_4 : Hex.GFq 283 2 Hex.Conway.supportedEntry_283_2 →+* Hex.GFq 283 4 Hex.Conway.supportedEntry_283_4

The canonical embedding of GF(283^2) into GF(283^4).

Equations

• HexGFqMathlib.Conway.embed_283_2_4 = HexGFqMathlib.conwayEmbed 283 2 4 Hex.Conway.supportedEntry_283_2 Hex.Conway.supportedEntry_283_4 Hex.Conway.compat_283_2_4

noncomputable def HexGFqMathlib.Conway.embed_293_1_2 : Hex.GFq 293 1 Hex.Conway.supportedEntry_293_1 →+* Hex.GFq 293 2 Hex.Conway.supportedEntry_293_2

The canonical embedding of GF(293^1) into GF(293^2).

Equations

• HexGFqMathlib.Conway.embed_293_1_2 = HexGFqMathlib.conwayEmbed 293 1 2 Hex.Conway.supportedEntry_293_1 Hex.Conway.supportedEntry_293_2 Hex.Conway.compat_293_1_2

noncomputable def HexGFqMathlib.Conway.embed_293_1_3 : Hex.GFq 293 1 Hex.Conway.supportedEntry_293_1 →+* Hex.GFq 293 3 Hex.Conway.supportedEntry_293_3

The canonical embedding of GF(293^1) into GF(293^3).

Equations

• HexGFqMathlib.Conway.embed_293_1_3 = HexGFqMathlib.conwayEmbed 293 1 3 Hex.Conway.supportedEntry_293_1 Hex.Conway.supportedEntry_293_3 Hex.Conway.compat_293_1_3

noncomputable def HexGFqMathlib.Conway.embed_293_1_4 : Hex.GFq 293 1 Hex.Conway.supportedEntry_293_1 →+* Hex.GFq 293 4 Hex.Conway.supportedEntry_293_4

The canonical embedding of GF(293^1) into GF(293^4).

Equations

• HexGFqMathlib.Conway.embed_293_1_4 = HexGFqMathlib.conwayEmbed 293 1 4 Hex.Conway.supportedEntry_293_1 Hex.Conway.supportedEntry_293_4 Hex.Conway.compat_293_1_4

noncomputable def HexGFqMathlib.Conway.embed_293_2_4 : Hex.GFq 293 2 Hex.Conway.supportedEntry_293_2 →+* Hex.GFq 293 4 Hex.Conway.supportedEntry_293_4

The canonical embedding of GF(293^2) into GF(293^4).

Equations

• HexGFqMathlib.Conway.embed_293_2_4 = HexGFqMathlib.conwayEmbed 293 2 4 Hex.Conway.supportedEntry_293_2 Hex.Conway.supportedEntry_293_4 Hex.Conway.compat_293_2_4

noncomputable def HexGFqMathlib.Conway.embed_307_1_2 : Hex.GFq 307 1 Hex.Conway.supportedEntry_307_1 →+* Hex.GFq 307 2 Hex.Conway.supportedEntry_307_2

The canonical embedding of GF(307^1) into GF(307^2).

Equations

• HexGFqMathlib.Conway.embed_307_1_2 = HexGFqMathlib.conwayEmbed 307 1 2 Hex.Conway.supportedEntry_307_1 Hex.Conway.supportedEntry_307_2 Hex.Conway.compat_307_1_2

noncomputable def HexGFqMathlib.Conway.embed_307_1_3 : Hex.GFq 307 1 Hex.Conway.supportedEntry_307_1 →+* Hex.GFq 307 3 Hex.Conway.supportedEntry_307_3

The canonical embedding of GF(307^1) into GF(307^3).

Equations

• HexGFqMathlib.Conway.embed_307_1_3 = HexGFqMathlib.conwayEmbed 307 1 3 Hex.Conway.supportedEntry_307_1 Hex.Conway.supportedEntry_307_3 Hex.Conway.compat_307_1_3

noncomputable def HexGFqMathlib.Conway.embed_311_1_2 : Hex.GFq 311 1 Hex.Conway.supportedEntry_311_1 →+* Hex.GFq 311 2 Hex.Conway.supportedEntry_311_2

The canonical embedding of GF(311^1) into GF(311^2).

Equations

• HexGFqMathlib.Conway.embed_311_1_2 = HexGFqMathlib.conwayEmbed 311 1 2 Hex.Conway.supportedEntry_311_1 Hex.Conway.supportedEntry_311_2 Hex.Conway.compat_311_1_2

noncomputable def HexGFqMathlib.Conway.embed_311_1_3 : Hex.GFq 311 1 Hex.Conway.supportedEntry_311_1 →+* Hex.GFq 311 3 Hex.Conway.supportedEntry_311_3

The canonical embedding of GF(311^1) into GF(311^3).

Equations

• HexGFqMathlib.Conway.embed_311_1_3 = HexGFqMathlib.conwayEmbed 311 1 3 Hex.Conway.supportedEntry_311_1 Hex.Conway.supportedEntry_311_3 Hex.Conway.compat_311_1_3

noncomputable def HexGFqMathlib.Conway.embed_313_1_2 : Hex.GFq 313 1 Hex.Conway.supportedEntry_313_1 →+* Hex.GFq 313 2 Hex.Conway.supportedEntry_313_2

The canonical embedding of GF(313^1) into GF(313^2).

Equations

• HexGFqMathlib.Conway.embed_313_1_2 = HexGFqMathlib.conwayEmbed 313 1 2 Hex.Conway.supportedEntry_313_1 Hex.Conway.supportedEntry_313_2 Hex.Conway.compat_313_1_2

noncomputable def HexGFqMathlib.Conway.embed_313_1_3 : Hex.GFq 313 1 Hex.Conway.supportedEntry_313_1 →+* Hex.GFq 313 3 Hex.Conway.supportedEntry_313_3

The canonical embedding of GF(313^1) into GF(313^3).

Equations

• HexGFqMathlib.Conway.embed_313_1_3 = HexGFqMathlib.conwayEmbed 313 1 3 Hex.Conway.supportedEntry_313_1 Hex.Conway.supportedEntry_313_3 Hex.Conway.compat_313_1_3

noncomputable def HexGFqMathlib.Conway.embed_317_1_2 : Hex.GFq 317 1 Hex.Conway.supportedEntry_317_1 →+* Hex.GFq 317 2 Hex.Conway.supportedEntry_317_2

The canonical embedding of GF(317^1) into GF(317^2).

Equations

• HexGFqMathlib.Conway.embed_317_1_2 = HexGFqMathlib.conwayEmbed 317 1 2 Hex.Conway.supportedEntry_317_1 Hex.Conway.supportedEntry_317_2 Hex.Conway.compat_317_1_2

noncomputable def HexGFqMathlib.Conway.embed_317_1_3 : Hex.GFq 317 1 Hex.Conway.supportedEntry_317_1 →+* Hex.GFq 317 3 Hex.Conway.supportedEntry_317_3

The canonical embedding of GF(317^1) into GF(317^3).

Equations

• HexGFqMathlib.Conway.embed_317_1_3 = HexGFqMathlib.conwayEmbed 317 1 3 Hex.Conway.supportedEntry_317_1 Hex.Conway.supportedEntry_317_3 Hex.Conway.compat_317_1_3

noncomputable def HexGFqMathlib.Conway.embed_331_1_2 : Hex.GFq 331 1 Hex.Conway.supportedEntry_331_1 →+* Hex.GFq 331 2 Hex.Conway.supportedEntry_331_2

The canonical embedding of GF(331^1) into GF(331^2).

Equations

• HexGFqMathlib.Conway.embed_331_1_2 = HexGFqMathlib.conwayEmbed 331 1 2 Hex.Conway.supportedEntry_331_1 Hex.Conway.supportedEntry_331_2 Hex.Conway.compat_331_1_2

noncomputable def HexGFqMathlib.Conway.embed_331_1_3 : Hex.GFq 331 1 Hex.Conway.supportedEntry_331_1 →+* Hex.GFq 331 3 Hex.Conway.supportedEntry_331_3

The canonical embedding of GF(331^1) into GF(331^3).

Equations

• HexGFqMathlib.Conway.embed_331_1_3 = HexGFqMathlib.conwayEmbed 331 1 3 Hex.Conway.supportedEntry_331_1 Hex.Conway.supportedEntry_331_3 Hex.Conway.compat_331_1_3

noncomputable def HexGFqMathlib.Conway.embed_337_1_2 : Hex.GFq 337 1 Hex.Conway.supportedEntry_337_1 →+* Hex.GFq 337 2 Hex.Conway.supportedEntry_337_2

The canonical embedding of GF(337^1) into GF(337^2).

Equations

• HexGFqMathlib.Conway.embed_337_1_2 = HexGFqMathlib.conwayEmbed 337 1 2 Hex.Conway.supportedEntry_337_1 Hex.Conway.supportedEntry_337_2 Hex.Conway.compat_337_1_2

noncomputable def HexGFqMathlib.Conway.embed_337_1_3 : Hex.GFq 337 1 Hex.Conway.supportedEntry_337_1 →+* Hex.GFq 337 3 Hex.Conway.supportedEntry_337_3

The canonical embedding of GF(337^1) into GF(337^3).

Equations

• HexGFqMathlib.Conway.embed_337_1_3 = HexGFqMathlib.conwayEmbed 337 1 3 Hex.Conway.supportedEntry_337_1 Hex.Conway.supportedEntry_337_3 Hex.Conway.compat_337_1_3

noncomputable def HexGFqMathlib.Conway.embed_347_1_2 : Hex.GFq 347 1 Hex.Conway.supportedEntry_347_1 →+* Hex.GFq 347 2 Hex.Conway.supportedEntry_347_2

The canonical embedding of GF(347^1) into GF(347^2).

Equations

• HexGFqMathlib.Conway.embed_347_1_2 = HexGFqMathlib.conwayEmbed 347 1 2 Hex.Conway.supportedEntry_347_1 Hex.Conway.supportedEntry_347_2 Hex.Conway.compat_347_1_2

noncomputable def HexGFqMathlib.Conway.embed_347_1_3 : Hex.GFq 347 1 Hex.Conway.supportedEntry_347_1 →+* Hex.GFq 347 3 Hex.Conway.supportedEntry_347_3

The canonical embedding of GF(347^1) into GF(347^3).

Equations

• HexGFqMathlib.Conway.embed_347_1_3 = HexGFqMathlib.conwayEmbed 347 1 3 Hex.Conway.supportedEntry_347_1 Hex.Conway.supportedEntry_347_3 Hex.Conway.compat_347_1_3

noncomputable def HexGFqMathlib.Conway.embed_349_1_2 : Hex.GFq 349 1 Hex.Conway.supportedEntry_349_1 →+* Hex.GFq 349 2 Hex.Conway.supportedEntry_349_2

The canonical embedding of GF(349^1) into GF(349^2).

Equations

• HexGFqMathlib.Conway.embed_349_1_2 = HexGFqMathlib.conwayEmbed 349 1 2 Hex.Conway.supportedEntry_349_1 Hex.Conway.supportedEntry_349_2 Hex.Conway.compat_349_1_2

noncomputable def HexGFqMathlib.Conway.embed_349_1_3 : Hex.GFq 349 1 Hex.Conway.supportedEntry_349_1 →+* Hex.GFq 349 3 Hex.Conway.supportedEntry_349_3

The canonical embedding of GF(349^1) into GF(349^3).

Equations

• HexGFqMathlib.Conway.embed_349_1_3 = HexGFqMathlib.conwayEmbed 349 1 3 Hex.Conway.supportedEntry_349_1 Hex.Conway.supportedEntry_349_3 Hex.Conway.compat_349_1_3

noncomputable def HexGFqMathlib.Conway.embed_353_1_2 : Hex.GFq 353 1 Hex.Conway.supportedEntry_353_1 →+* Hex.GFq 353 2 Hex.Conway.supportedEntry_353_2

The canonical embedding of GF(353^1) into GF(353^2).

Equations

• HexGFqMathlib.Conway.embed_353_1_2 = HexGFqMathlib.conwayEmbed 353 1 2 Hex.Conway.supportedEntry_353_1 Hex.Conway.supportedEntry_353_2 Hex.Conway.compat_353_1_2

noncomputable def HexGFqMathlib.Conway.embed_353_1_3 : Hex.GFq 353 1 Hex.Conway.supportedEntry_353_1 →+* Hex.GFq 353 3 Hex.Conway.supportedEntry_353_3

The canonical embedding of GF(353^1) into GF(353^3).

Equations

• HexGFqMathlib.Conway.embed_353_1_3 = HexGFqMathlib.conwayEmbed 353 1 3 Hex.Conway.supportedEntry_353_1 Hex.Conway.supportedEntry_353_3 Hex.Conway.compat_353_1_3

noncomputable def HexGFqMathlib.Conway.embed_359_1_2 : Hex.GFq 359 1 Hex.Conway.supportedEntry_359_1 →+* Hex.GFq 359 2 Hex.Conway.supportedEntry_359_2

The canonical embedding of GF(359^1) into GF(359^2).

Equations

• HexGFqMathlib.Conway.embed_359_1_2 = HexGFqMathlib.conwayEmbed 359 1 2 Hex.Conway.supportedEntry_359_1 Hex.Conway.supportedEntry_359_2 Hex.Conway.compat_359_1_2

noncomputable def HexGFqMathlib.Conway.embed_359_1_3 : Hex.GFq 359 1 Hex.Conway.supportedEntry_359_1 →+* Hex.GFq 359 3 Hex.Conway.supportedEntry_359_3

The canonical embedding of GF(359^1) into GF(359^3).

Equations

• HexGFqMathlib.Conway.embed_359_1_3 = HexGFqMathlib.conwayEmbed 359 1 3 Hex.Conway.supportedEntry_359_1 Hex.Conway.supportedEntry_359_3 Hex.Conway.compat_359_1_3

noncomputable def HexGFqMathlib.Conway.embed_367_1_2 : Hex.GFq 367 1 Hex.Conway.supportedEntry_367_1 →+* Hex.GFq 367 2 Hex.Conway.supportedEntry_367_2

The canonical embedding of GF(367^1) into GF(367^2).

Equations

• HexGFqMathlib.Conway.embed_367_1_2 = HexGFqMathlib.conwayEmbed 367 1 2 Hex.Conway.supportedEntry_367_1 Hex.Conway.supportedEntry_367_2 Hex.Conway.compat_367_1_2

noncomputable def HexGFqMathlib.Conway.embed_367_1_3 : Hex.GFq 367 1 Hex.Conway.supportedEntry_367_1 →+* Hex.GFq 367 3 Hex.Conway.supportedEntry_367_3

The canonical embedding of GF(367^1) into GF(367^3).

Equations

• HexGFqMathlib.Conway.embed_367_1_3 = HexGFqMathlib.conwayEmbed 367 1 3 Hex.Conway.supportedEntry_367_1 Hex.Conway.supportedEntry_367_3 Hex.Conway.compat_367_1_3

noncomputable def HexGFqMathlib.Conway.embed_373_1_2 : Hex.GFq 373 1 Hex.Conway.supportedEntry_373_1 →+* Hex.GFq 373 2 Hex.Conway.supportedEntry_373_2

The canonical embedding of GF(373^1) into GF(373^2).

Equations

• HexGFqMathlib.Conway.embed_373_1_2 = HexGFqMathlib.conwayEmbed 373 1 2 Hex.Conway.supportedEntry_373_1 Hex.Conway.supportedEntry_373_2 Hex.Conway.compat_373_1_2

noncomputable def HexGFqMathlib.Conway.embed_373_1_3 : Hex.GFq 373 1 Hex.Conway.supportedEntry_373_1 →+* Hex.GFq 373 3 Hex.Conway.supportedEntry_373_3

The canonical embedding of GF(373^1) into GF(373^3).

Equations

• HexGFqMathlib.Conway.embed_373_1_3 = HexGFqMathlib.conwayEmbed 373 1 3 Hex.Conway.supportedEntry_373_1 Hex.Conway.supportedEntry_373_3 Hex.Conway.compat_373_1_3

noncomputable def HexGFqMathlib.Conway.embed_379_1_2 : Hex.GFq 379 1 Hex.Conway.supportedEntry_379_1 →+* Hex.GFq 379 2 Hex.Conway.supportedEntry_379_2

The canonical embedding of GF(379^1) into GF(379^2).

Equations

• HexGFqMathlib.Conway.embed_379_1_2 = HexGFqMathlib.conwayEmbed 379 1 2 Hex.Conway.supportedEntry_379_1 Hex.Conway.supportedEntry_379_2 Hex.Conway.compat_379_1_2

noncomputable def HexGFqMathlib.Conway.embed_379_1_3 : Hex.GFq 379 1 Hex.Conway.supportedEntry_379_1 →+* Hex.GFq 379 3 Hex.Conway.supportedEntry_379_3

The canonical embedding of GF(379^1) into GF(379^3).

Equations

• HexGFqMathlib.Conway.embed_379_1_3 = HexGFqMathlib.conwayEmbed 379 1 3 Hex.Conway.supportedEntry_379_1 Hex.Conway.supportedEntry_379_3 Hex.Conway.compat_379_1_3

noncomputable def HexGFqMathlib.Conway.embed_383_1_2 : Hex.GFq 383 1 Hex.Conway.supportedEntry_383_1 →+* Hex.GFq 383 2 Hex.Conway.supportedEntry_383_2

The canonical embedding of GF(383^1) into GF(383^2).

Equations

• HexGFqMathlib.Conway.embed_383_1_2 = HexGFqMathlib.conwayEmbed 383 1 2 Hex.Conway.supportedEntry_383_1 Hex.Conway.supportedEntry_383_2 Hex.Conway.compat_383_1_2

noncomputable def HexGFqMathlib.Conway.embed_383_1_3 : Hex.GFq 383 1 Hex.Conway.supportedEntry_383_1 →+* Hex.GFq 383 3 Hex.Conway.supportedEntry_383_3

The canonical embedding of GF(383^1) into GF(383^3).

Equations

• HexGFqMathlib.Conway.embed_383_1_3 = HexGFqMathlib.conwayEmbed 383 1 3 Hex.Conway.supportedEntry_383_1 Hex.Conway.supportedEntry_383_3 Hex.Conway.compat_383_1_3

noncomputable def HexGFqMathlib.Conway.embed_389_1_2 : Hex.GFq 389 1 Hex.Conway.supportedEntry_389_1 →+* Hex.GFq 389 2 Hex.Conway.supportedEntry_389_2

The canonical embedding of GF(389^1) into GF(389^2).

Equations

• HexGFqMathlib.Conway.embed_389_1_2 = HexGFqMathlib.conwayEmbed 389 1 2 Hex.Conway.supportedEntry_389_1 Hex.Conway.supportedEntry_389_2 Hex.Conway.compat_389_1_2

noncomputable def HexGFqMathlib.Conway.embed_389_1_3 : Hex.GFq 389 1 Hex.Conway.supportedEntry_389_1 →+* Hex.GFq 389 3 Hex.Conway.supportedEntry_389_3

The canonical embedding of GF(389^1) into GF(389^3).

Equations

• HexGFqMathlib.Conway.embed_389_1_3 = HexGFqMathlib.conwayEmbed 389 1 3 Hex.Conway.supportedEntry_389_1 Hex.Conway.supportedEntry_389_3 Hex.Conway.compat_389_1_3

noncomputable def HexGFqMathlib.Conway.embed_397_1_2 : Hex.GFq 397 1 Hex.Conway.supportedEntry_397_1 →+* Hex.GFq 397 2 Hex.Conway.supportedEntry_397_2

The canonical embedding of GF(397^1) into GF(397^2).

Equations

• HexGFqMathlib.Conway.embed_397_1_2 = HexGFqMathlib.conwayEmbed 397 1 2 Hex.Conway.supportedEntry_397_1 Hex.Conway.supportedEntry_397_2 Hex.Conway.compat_397_1_2

noncomputable def HexGFqMathlib.Conway.embed_397_1_3 : Hex.GFq 397 1 Hex.Conway.supportedEntry_397_1 →+* Hex.GFq 397 3 Hex.Conway.supportedEntry_397_3

The canonical embedding of GF(397^1) into GF(397^3).

Equations

• HexGFqMathlib.Conway.embed_397_1_3 = HexGFqMathlib.conwayEmbed 397 1 3 Hex.Conway.supportedEntry_397_1 Hex.Conway.supportedEntry_397_3 Hex.Conway.compat_397_1_3

noncomputable def HexGFqMathlib.Conway.embed_401_1_2 : Hex.GFq 401 1 Hex.Conway.supportedEntry_401_1 →+* Hex.GFq 401 2 Hex.Conway.supportedEntry_401_2

The canonical embedding of GF(401^1) into GF(401^2).

Equations

• HexGFqMathlib.Conway.embed_401_1_2 = HexGFqMathlib.conwayEmbed 401 1 2 Hex.Conway.supportedEntry_401_1 Hex.Conway.supportedEntry_401_2 Hex.Conway.compat_401_1_2

noncomputable def HexGFqMathlib.Conway.embed_401_1_3 : Hex.GFq 401 1 Hex.Conway.supportedEntry_401_1 →+* Hex.GFq 401 3 Hex.Conway.supportedEntry_401_3

The canonical embedding of GF(401^1) into GF(401^3).

Equations

• HexGFqMathlib.Conway.embed_401_1_3 = HexGFqMathlib.conwayEmbed 401 1 3 Hex.Conway.supportedEntry_401_1 Hex.Conway.supportedEntry_401_3 Hex.Conway.compat_401_1_3

noncomputable def HexGFqMathlib.Conway.embed_409_1_2 : Hex.GFq 409 1 Hex.Conway.supportedEntry_409_1 →+* Hex.GFq 409 2 Hex.Conway.supportedEntry_409_2

The canonical embedding of GF(409^1) into GF(409^2).

Equations

• HexGFqMathlib.Conway.embed_409_1_2 = HexGFqMathlib.conwayEmbed 409 1 2 Hex.Conway.supportedEntry_409_1 Hex.Conway.supportedEntry_409_2 Hex.Conway.compat_409_1_2

noncomputable def HexGFqMathlib.Conway.embed_409_1_3 : Hex.GFq 409 1 Hex.Conway.supportedEntry_409_1 →+* Hex.GFq 409 3 Hex.Conway.supportedEntry_409_3

The canonical embedding of GF(409^1) into GF(409^3).

Equations

• HexGFqMathlib.Conway.embed_409_1_3 = HexGFqMathlib.conwayEmbed 409 1 3 Hex.Conway.supportedEntry_409_1 Hex.Conway.supportedEntry_409_3 Hex.Conway.compat_409_1_3

noncomputable def HexGFqMathlib.Conway.embed_419_1_2 : Hex.GFq 419 1 Hex.Conway.supportedEntry_419_1 →+* Hex.GFq 419 2 Hex.Conway.supportedEntry_419_2

The canonical embedding of GF(419^1) into GF(419^2).

Equations

• HexGFqMathlib.Conway.embed_419_1_2 = HexGFqMathlib.conwayEmbed 419 1 2 Hex.Conway.supportedEntry_419_1 Hex.Conway.supportedEntry_419_2 Hex.Conway.compat_419_1_2

noncomputable def HexGFqMathlib.Conway.embed_419_1_3 : Hex.GFq 419 1 Hex.Conway.supportedEntry_419_1 →+* Hex.GFq 419 3 Hex.Conway.supportedEntry_419_3

The canonical embedding of GF(419^1) into GF(419^3).

Equations

• HexGFqMathlib.Conway.embed_419_1_3 = HexGFqMathlib.conwayEmbed 419 1 3 Hex.Conway.supportedEntry_419_1 Hex.Conway.supportedEntry_419_3 Hex.Conway.compat_419_1_3

noncomputable def HexGFqMathlib.Conway.embed_421_1_2 : Hex.GFq 421 1 Hex.Conway.supportedEntry_421_1 →+* Hex.GFq 421 2 Hex.Conway.supportedEntry_421_2

The canonical embedding of GF(421^1) into GF(421^2).

Equations

• HexGFqMathlib.Conway.embed_421_1_2 = HexGFqMathlib.conwayEmbed 421 1 2 Hex.Conway.supportedEntry_421_1 Hex.Conway.supportedEntry_421_2 Hex.Conway.compat_421_1_2

noncomputable def HexGFqMathlib.Conway.embed_421_1_3 : Hex.GFq 421 1 Hex.Conway.supportedEntry_421_1 →+* Hex.GFq 421 3 Hex.Conway.supportedEntry_421_3

The canonical embedding of GF(421^1) into GF(421^3).

Equations

• HexGFqMathlib.Conway.embed_421_1_3 = HexGFqMathlib.conwayEmbed 421 1 3 Hex.Conway.supportedEntry_421_1 Hex.Conway.supportedEntry_421_3 Hex.Conway.compat_421_1_3

noncomputable def HexGFqMathlib.Conway.embed_431_1_2 : Hex.GFq 431 1 Hex.Conway.supportedEntry_431_1 →+* Hex.GFq 431 2 Hex.Conway.supportedEntry_431_2

The canonical embedding of GF(431^1) into GF(431^2).

Equations

• HexGFqMathlib.Conway.embed_431_1_2 = HexGFqMathlib.conwayEmbed 431 1 2 Hex.Conway.supportedEntry_431_1 Hex.Conway.supportedEntry_431_2 Hex.Conway.compat_431_1_2

noncomputable def HexGFqMathlib.Conway.embed_431_1_3 : Hex.GFq 431 1 Hex.Conway.supportedEntry_431_1 →+* Hex.GFq 431 3 Hex.Conway.supportedEntry_431_3

The canonical embedding of GF(431^1) into GF(431^3).

Equations

• HexGFqMathlib.Conway.embed_431_1_3 = HexGFqMathlib.conwayEmbed 431 1 3 Hex.Conway.supportedEntry_431_1 Hex.Conway.supportedEntry_431_3 Hex.Conway.compat_431_1_3

noncomputable def HexGFqMathlib.Conway.embed_433_1_2 : Hex.GFq 433 1 Hex.Conway.supportedEntry_433_1 →+* Hex.GFq 433 2 Hex.Conway.supportedEntry_433_2

The canonical embedding of GF(433^1) into GF(433^2).

Equations

• HexGFqMathlib.Conway.embed_433_1_2 = HexGFqMathlib.conwayEmbed 433 1 2 Hex.Conway.supportedEntry_433_1 Hex.Conway.supportedEntry_433_2 Hex.Conway.compat_433_1_2

noncomputable def HexGFqMathlib.Conway.embed_433_1_3 : Hex.GFq 433 1 Hex.Conway.supportedEntry_433_1 →+* Hex.GFq 433 3 Hex.Conway.supportedEntry_433_3

The canonical embedding of GF(433^1) into GF(433^3).

Equations

• HexGFqMathlib.Conway.embed_433_1_3 = HexGFqMathlib.conwayEmbed 433 1 3 Hex.Conway.supportedEntry_433_1 Hex.Conway.supportedEntry_433_3 Hex.Conway.compat_433_1_3

noncomputable def HexGFqMathlib.Conway.embed_439_1_2 : Hex.GFq 439 1 Hex.Conway.supportedEntry_439_1 →+* Hex.GFq 439 2 Hex.Conway.supportedEntry_439_2

The canonical embedding of GF(439^1) into GF(439^2).

Equations

• HexGFqMathlib.Conway.embed_439_1_2 = HexGFqMathlib.conwayEmbed 439 1 2 Hex.Conway.supportedEntry_439_1 Hex.Conway.supportedEntry_439_2 Hex.Conway.compat_439_1_2

noncomputable def HexGFqMathlib.Conway.embed_439_1_3 : Hex.GFq 439 1 Hex.Conway.supportedEntry_439_1 →+* Hex.GFq 439 3 Hex.Conway.supportedEntry_439_3

The canonical embedding of GF(439^1) into GF(439^3).

Equations

• HexGFqMathlib.Conway.embed_439_1_3 = HexGFqMathlib.conwayEmbed 439 1 3 Hex.Conway.supportedEntry_439_1 Hex.Conway.supportedEntry_439_3 Hex.Conway.compat_439_1_3

noncomputable def HexGFqMathlib.Conway.embed_443_1_2 : Hex.GFq 443 1 Hex.Conway.supportedEntry_443_1 →+* Hex.GFq 443 2 Hex.Conway.supportedEntry_443_2

The canonical embedding of GF(443^1) into GF(443^2).

Equations

• HexGFqMathlib.Conway.embed_443_1_2 = HexGFqMathlib.conwayEmbed 443 1 2 Hex.Conway.supportedEntry_443_1 Hex.Conway.supportedEntry_443_2 Hex.Conway.compat_443_1_2

noncomputable def HexGFqMathlib.Conway.embed_443_1_3 : Hex.GFq 443 1 Hex.Conway.supportedEntry_443_1 →+* Hex.GFq 443 3 Hex.Conway.supportedEntry_443_3

The canonical embedding of GF(443^1) into GF(443^3).

Equations

• HexGFqMathlib.Conway.embed_443_1_3 = HexGFqMathlib.conwayEmbed 443 1 3 Hex.Conway.supportedEntry_443_1 Hex.Conway.supportedEntry_443_3 Hex.Conway.compat_443_1_3

noncomputable def HexGFqMathlib.Conway.embed_449_1_2 : Hex.GFq 449 1 Hex.Conway.supportedEntry_449_1 →+* Hex.GFq 449 2 Hex.Conway.supportedEntry_449_2

The canonical embedding of GF(449^1) into GF(449^2).

Equations

• HexGFqMathlib.Conway.embed_449_1_2 = HexGFqMathlib.conwayEmbed 449 1 2 Hex.Conway.supportedEntry_449_1 Hex.Conway.supportedEntry_449_2 Hex.Conway.compat_449_1_2

noncomputable def HexGFqMathlib.Conway.embed_449_1_3 : Hex.GFq 449 1 Hex.Conway.supportedEntry_449_1 →+* Hex.GFq 449 3 Hex.Conway.supportedEntry_449_3

The canonical embedding of GF(449^1) into GF(449^3).

Equations

• HexGFqMathlib.Conway.embed_449_1_3 = HexGFqMathlib.conwayEmbed 449 1 3 Hex.Conway.supportedEntry_449_1 Hex.Conway.supportedEntry_449_3 Hex.Conway.compat_449_1_3

noncomputable def HexGFqMathlib.Conway.embed_457_1_2 : Hex.GFq 457 1 Hex.Conway.supportedEntry_457_1 →+* Hex.GFq 457 2 Hex.Conway.supportedEntry_457_2

The canonical embedding of GF(457^1) into GF(457^2).

Equations

• HexGFqMathlib.Conway.embed_457_1_2 = HexGFqMathlib.conwayEmbed 457 1 2 Hex.Conway.supportedEntry_457_1 Hex.Conway.supportedEntry_457_2 Hex.Conway.compat_457_1_2

noncomputable def HexGFqMathlib.Conway.embed_457_1_3 : Hex.GFq 457 1 Hex.Conway.supportedEntry_457_1 →+* Hex.GFq 457 3 Hex.Conway.supportedEntry_457_3

The canonical embedding of GF(457^1) into GF(457^3).

Equations

• HexGFqMathlib.Conway.embed_457_1_3 = HexGFqMathlib.conwayEmbed 457 1 3 Hex.Conway.supportedEntry_457_1 Hex.Conway.supportedEntry_457_3 Hex.Conway.compat_457_1_3

noncomputable def HexGFqMathlib.Conway.embed_461_1_2 : Hex.GFq 461 1 Hex.Conway.supportedEntry_461_1 →+* Hex.GFq 461 2 Hex.Conway.supportedEntry_461_2

The canonical embedding of GF(461^1) into GF(461^2).

Equations

• HexGFqMathlib.Conway.embed_461_1_2 = HexGFqMathlib.conwayEmbed 461 1 2 Hex.Conway.supportedEntry_461_1 Hex.Conway.supportedEntry_461_2 Hex.Conway.compat_461_1_2

noncomputable def HexGFqMathlib.Conway.embed_461_1_3 : Hex.GFq 461 1 Hex.Conway.supportedEntry_461_1 →+* Hex.GFq 461 3 Hex.Conway.supportedEntry_461_3

The canonical embedding of GF(461^1) into GF(461^3).

Equations

• HexGFqMathlib.Conway.embed_461_1_3 = HexGFqMathlib.conwayEmbed 461 1 3 Hex.Conway.supportedEntry_461_1 Hex.Conway.supportedEntry_461_3 Hex.Conway.compat_461_1_3

noncomputable def HexGFqMathlib.Conway.embed_463_1_2 : Hex.GFq 463 1 Hex.Conway.supportedEntry_463_1 →+* Hex.GFq 463 2 Hex.Conway.supportedEntry_463_2

The canonical embedding of GF(463^1) into GF(463^2).

Equations

• HexGFqMathlib.Conway.embed_463_1_2 = HexGFqMathlib.conwayEmbed 463 1 2 Hex.Conway.supportedEntry_463_1 Hex.Conway.supportedEntry_463_2 Hex.Conway.compat_463_1_2

noncomputable def HexGFqMathlib.Conway.embed_463_1_3 : Hex.GFq 463 1 Hex.Conway.supportedEntry_463_1 →+* Hex.GFq 463 3 Hex.Conway.supportedEntry_463_3

The canonical embedding of GF(463^1) into GF(463^3).

Equations

• HexGFqMathlib.Conway.embed_463_1_3 = HexGFqMathlib.conwayEmbed 463 1 3 Hex.Conway.supportedEntry_463_1 Hex.Conway.supportedEntry_463_3 Hex.Conway.compat_463_1_3

noncomputable def HexGFqMathlib.Conway.embed_467_1_2 : Hex.GFq 467 1 Hex.Conway.supportedEntry_467_1 →+* Hex.GFq 467 2 Hex.Conway.supportedEntry_467_2

The canonical embedding of GF(467^1) into GF(467^2).

Equations

• HexGFqMathlib.Conway.embed_467_1_2 = HexGFqMathlib.conwayEmbed 467 1 2 Hex.Conway.supportedEntry_467_1 Hex.Conway.supportedEntry_467_2 Hex.Conway.compat_467_1_2

noncomputable def HexGFqMathlib.Conway.embed_467_1_3 : Hex.GFq 467 1 Hex.Conway.supportedEntry_467_1 →+* Hex.GFq 467 3 Hex.Conway.supportedEntry_467_3

The canonical embedding of GF(467^1) into GF(467^3).

Equations

• HexGFqMathlib.Conway.embed_467_1_3 = HexGFqMathlib.conwayEmbed 467 1 3 Hex.Conway.supportedEntry_467_1 Hex.Conway.supportedEntry_467_3 Hex.Conway.compat_467_1_3

noncomputable def HexGFqMathlib.Conway.embed_479_1_2 : Hex.GFq 479 1 Hex.Conway.supportedEntry_479_1 →+* Hex.GFq 479 2 Hex.Conway.supportedEntry_479_2

The canonical embedding of GF(479^1) into GF(479^2).

Equations

• HexGFqMathlib.Conway.embed_479_1_2 = HexGFqMathlib.conwayEmbed 479 1 2 Hex.Conway.supportedEntry_479_1 Hex.Conway.supportedEntry_479_2 Hex.Conway.compat_479_1_2

noncomputable def HexGFqMathlib.Conway.embed_479_1_3 : Hex.GFq 479 1 Hex.Conway.supportedEntry_479_1 →+* Hex.GFq 479 3 Hex.Conway.supportedEntry_479_3

The canonical embedding of GF(479^1) into GF(479^3).

Equations

• HexGFqMathlib.Conway.embed_479_1_3 = HexGFqMathlib.conwayEmbed 479 1 3 Hex.Conway.supportedEntry_479_1 Hex.Conway.supportedEntry_479_3 Hex.Conway.compat_479_1_3

noncomputable def HexGFqMathlib.Conway.embed_487_1_2 : Hex.GFq 487 1 Hex.Conway.supportedEntry_487_1 →+* Hex.GFq 487 2 Hex.Conway.supportedEntry_487_2

The canonical embedding of GF(487^1) into GF(487^2).

Equations

• HexGFqMathlib.Conway.embed_487_1_2 = HexGFqMathlib.conwayEmbed 487 1 2 Hex.Conway.supportedEntry_487_1 Hex.Conway.supportedEntry_487_2 Hex.Conway.compat_487_1_2

noncomputable def HexGFqMathlib.Conway.embed_487_1_3 : Hex.GFq 487 1 Hex.Conway.supportedEntry_487_1 →+* Hex.GFq 487 3 Hex.Conway.supportedEntry_487_3

The canonical embedding of GF(487^1) into GF(487^3).

Equations

• HexGFqMathlib.Conway.embed_487_1_3 = HexGFqMathlib.conwayEmbed 487 1 3 Hex.Conway.supportedEntry_487_1 Hex.Conway.supportedEntry_487_3 Hex.Conway.compat_487_1_3

noncomputable def HexGFqMathlib.Conway.embed_491_1_2 : Hex.GFq 491 1 Hex.Conway.supportedEntry_491_1 →+* Hex.GFq 491 2 Hex.Conway.supportedEntry_491_2

The canonical embedding of GF(491^1) into GF(491^2).

Equations

• HexGFqMathlib.Conway.embed_491_1_2 = HexGFqMathlib.conwayEmbed 491 1 2 Hex.Conway.supportedEntry_491_1 Hex.Conway.supportedEntry_491_2 Hex.Conway.compat_491_1_2

noncomputable def HexGFqMathlib.Conway.embed_491_1_3 : Hex.GFq 491 1 Hex.Conway.supportedEntry_491_1 →+* Hex.GFq 491 3 Hex.Conway.supportedEntry_491_3

The canonical embedding of GF(491^1) into GF(491^3).

Equations

• HexGFqMathlib.Conway.embed_491_1_3 = HexGFqMathlib.conwayEmbed 491 1 3 Hex.Conway.supportedEntry_491_1 Hex.Conway.supportedEntry_491_3 Hex.Conway.compat_491_1_3

noncomputable def HexGFqMathlib.Conway.embed_499_1_2 : Hex.GFq 499 1 Hex.Conway.supportedEntry_499_1 →+* Hex.GFq 499 2 Hex.Conway.supportedEntry_499_2

The canonical embedding of GF(499^1) into GF(499^2).

Equations

• HexGFqMathlib.Conway.embed_499_1_2 = HexGFqMathlib.conwayEmbed 499 1 2 Hex.Conway.supportedEntry_499_1 Hex.Conway.supportedEntry_499_2 Hex.Conway.compat_499_1_2

noncomputable def HexGFqMathlib.Conway.embed_499_1_3 : Hex.GFq 499 1 Hex.Conway.supportedEntry_499_1 →+* Hex.GFq 499 3 Hex.Conway.supportedEntry_499_3

The canonical embedding of GF(499^1) into GF(499^3).

Equations

• HexGFqMathlib.Conway.embed_499_1_3 = HexGFqMathlib.conwayEmbed 499 1 3 Hex.Conway.supportedEntry_499_1 Hex.Conway.supportedEntry_499_3 Hex.Conway.compat_499_1_3

noncomputable def HexGFqMathlib.Conway.embed_503_1_2 : Hex.GFq 503 1 Hex.Conway.supportedEntry_503_1 →+* Hex.GFq 503 2 Hex.Conway.supportedEntry_503_2

The canonical embedding of GF(503^1) into GF(503^2).

Equations

• HexGFqMathlib.Conway.embed_503_1_2 = HexGFqMathlib.conwayEmbed 503 1 2 Hex.Conway.supportedEntry_503_1 Hex.Conway.supportedEntry_503_2 Hex.Conway.compat_503_1_2

noncomputable def HexGFqMathlib.Conway.embed_503_1_3 : Hex.GFq 503 1 Hex.Conway.supportedEntry_503_1 →+* Hex.GFq 503 3 Hex.Conway.supportedEntry_503_3

The canonical embedding of GF(503^1) into GF(503^3).

Equations

• HexGFqMathlib.Conway.embed_503_1_3 = HexGFqMathlib.conwayEmbed 503 1 3 Hex.Conway.supportedEntry_503_1 Hex.Conway.supportedEntry_503_3 Hex.Conway.compat_503_1_3

noncomputable def HexGFqMathlib.Conway.embed_509_1_2 : Hex.GFq 509 1 Hex.Conway.supportedEntry_509_1 →+* Hex.GFq 509 2 Hex.Conway.supportedEntry_509_2

The canonical embedding of GF(509^1) into GF(509^2).

Equations

• HexGFqMathlib.Conway.embed_509_1_2 = HexGFqMathlib.conwayEmbed 509 1 2 Hex.Conway.supportedEntry_509_1 Hex.Conway.supportedEntry_509_2 Hex.Conway.compat_509_1_2

noncomputable def HexGFqMathlib.Conway.embed_509_1_3 : Hex.GFq 509 1 Hex.Conway.supportedEntry_509_1 →+* Hex.GFq 509 3 Hex.Conway.supportedEntry_509_3

The canonical embedding of GF(509^1) into GF(509^3).

Equations

• HexGFqMathlib.Conway.embed_509_1_3 = HexGFqMathlib.conwayEmbed 509 1 3 Hex.Conway.supportedEntry_509_1 Hex.Conway.supportedEntry_509_3 Hex.Conway.compat_509_1_3

noncomputable def HexGFqMathlib.Conway.embed_521_1_2 : Hex.GFq 521 1 Hex.Conway.supportedEntry_521_1 →+* Hex.GFq 521 2 Hex.Conway.supportedEntry_521_2

The canonical embedding of GF(521^1) into GF(521^2).

Equations

• HexGFqMathlib.Conway.embed_521_1_2 = HexGFqMathlib.conwayEmbed 521 1 2 Hex.Conway.supportedEntry_521_1 Hex.Conway.supportedEntry_521_2 Hex.Conway.compat_521_1_2

noncomputable def HexGFqMathlib.Conway.embed_521_1_3 : Hex.GFq 521 1 Hex.Conway.supportedEntry_521_1 →+* Hex.GFq 521 3 Hex.Conway.supportedEntry_521_3

The canonical embedding of GF(521^1) into GF(521^3).

Equations

• HexGFqMathlib.Conway.embed_521_1_3 = HexGFqMathlib.conwayEmbed 521 1 3 Hex.Conway.supportedEntry_521_1 Hex.Conway.supportedEntry_521_3 Hex.Conway.compat_521_1_3

noncomputable def HexGFqMathlib.Conway.embed_523_1_2 : Hex.GFq 523 1 Hex.Conway.supportedEntry_523_1 →+* Hex.GFq 523 2 Hex.Conway.supportedEntry_523_2

The canonical embedding of GF(523^1) into GF(523^2).

Equations

• HexGFqMathlib.Conway.embed_523_1_2 = HexGFqMathlib.conwayEmbed 523 1 2 Hex.Conway.supportedEntry_523_1 Hex.Conway.supportedEntry_523_2 Hex.Conway.compat_523_1_2

noncomputable def HexGFqMathlib.Conway.embed_523_1_3 : Hex.GFq 523 1 Hex.Conway.supportedEntry_523_1 →+* Hex.GFq 523 3 Hex.Conway.supportedEntry_523_3

The canonical embedding of GF(523^1) into GF(523^3).

Equations

• HexGFqMathlib.Conway.embed_523_1_3 = HexGFqMathlib.conwayEmbed 523 1 3 Hex.Conway.supportedEntry_523_1 Hex.Conway.supportedEntry_523_3 Hex.Conway.compat_523_1_3