noncomputable def HexGFqMathlib.Conway.embed_971_1_2 : Hex.GFq 971 1 Hex.Conway.supportedEntry_971_1 →+* Hex.GFq 971 2 Hex.Conway.supportedEntry_971_2

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

Equations

• HexGFqMathlib.Conway.embed_971_1_2 = HexGFqMathlib.conwayEmbed 971 1 2 Hex.Conway.supportedEntry_971_1 Hex.Conway.supportedEntry_971_2 Hex.Conway.compat_971_1_2

noncomputable def HexGFqMathlib.Conway.embed_971_1_3 : Hex.GFq 971 1 Hex.Conway.supportedEntry_971_1 →+* Hex.GFq 971 3 Hex.Conway.supportedEntry_971_3

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

Equations

• HexGFqMathlib.Conway.embed_971_1_3 = HexGFqMathlib.conwayEmbed 971 1 3 Hex.Conway.supportedEntry_971_1 Hex.Conway.supportedEntry_971_3 Hex.Conway.compat_971_1_3

noncomputable def HexGFqMathlib.Conway.embed_977_1_2 : Hex.GFq 977 1 Hex.Conway.supportedEntry_977_1 →+* Hex.GFq 977 2 Hex.Conway.supportedEntry_977_2

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

Equations

• HexGFqMathlib.Conway.embed_977_1_2 = HexGFqMathlib.conwayEmbed 977 1 2 Hex.Conway.supportedEntry_977_1 Hex.Conway.supportedEntry_977_2 Hex.Conway.compat_977_1_2

noncomputable def HexGFqMathlib.Conway.embed_977_1_3 : Hex.GFq 977 1 Hex.Conway.supportedEntry_977_1 →+* Hex.GFq 977 3 Hex.Conway.supportedEntry_977_3

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

Equations

• HexGFqMathlib.Conway.embed_977_1_3 = HexGFqMathlib.conwayEmbed 977 1 3 Hex.Conway.supportedEntry_977_1 Hex.Conway.supportedEntry_977_3 Hex.Conway.compat_977_1_3

noncomputable def HexGFqMathlib.Conway.embed_983_1_2 : Hex.GFq 983 1 Hex.Conway.supportedEntry_983_1 →+* Hex.GFq 983 2 Hex.Conway.supportedEntry_983_2

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

Equations

• HexGFqMathlib.Conway.embed_983_1_2 = HexGFqMathlib.conwayEmbed 983 1 2 Hex.Conway.supportedEntry_983_1 Hex.Conway.supportedEntry_983_2 Hex.Conway.compat_983_1_2

noncomputable def HexGFqMathlib.Conway.embed_983_1_3 : Hex.GFq 983 1 Hex.Conway.supportedEntry_983_1 →+* Hex.GFq 983 3 Hex.Conway.supportedEntry_983_3

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

Equations

• HexGFqMathlib.Conway.embed_983_1_3 = HexGFqMathlib.conwayEmbed 983 1 3 Hex.Conway.supportedEntry_983_1 Hex.Conway.supportedEntry_983_3 Hex.Conway.compat_983_1_3

noncomputable def HexGFqMathlib.Conway.embed_991_1_2 : Hex.GFq 991 1 Hex.Conway.supportedEntry_991_1 →+* Hex.GFq 991 2 Hex.Conway.supportedEntry_991_2

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

Equations

• HexGFqMathlib.Conway.embed_991_1_2 = HexGFqMathlib.conwayEmbed 991 1 2 Hex.Conway.supportedEntry_991_1 Hex.Conway.supportedEntry_991_2 Hex.Conway.compat_991_1_2

noncomputable def HexGFqMathlib.Conway.embed_991_1_3 : Hex.GFq 991 1 Hex.Conway.supportedEntry_991_1 →+* Hex.GFq 991 3 Hex.Conway.supportedEntry_991_3

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

Equations

• HexGFqMathlib.Conway.embed_991_1_3 = HexGFqMathlib.conwayEmbed 991 1 3 Hex.Conway.supportedEntry_991_1 Hex.Conway.supportedEntry_991_3 Hex.Conway.compat_991_1_3

noncomputable def HexGFqMathlib.Conway.embed_997_1_2 : Hex.GFq 997 1 Hex.Conway.supportedEntry_997_1 →+* Hex.GFq 997 2 Hex.Conway.supportedEntry_997_2

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

Equations

• HexGFqMathlib.Conway.embed_997_1_2 = HexGFqMathlib.conwayEmbed 997 1 2 Hex.Conway.supportedEntry_997_1 Hex.Conway.supportedEntry_997_2 Hex.Conway.compat_997_1_2

noncomputable def HexGFqMathlib.Conway.embed_997_1_3 : Hex.GFq 997 1 Hex.Conway.supportedEntry_997_1 →+* Hex.GFq 997 3 Hex.Conway.supportedEntry_997_3

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

Equations

• HexGFqMathlib.Conway.embed_997_1_3 = HexGFqMathlib.conwayEmbed 997 1 3 Hex.Conway.supportedEntry_997_1 Hex.Conway.supportedEntry_997_3 Hex.Conway.compat_997_1_3