Documentation

HexConway.CompatibilityProofs.S2_3

source
theorem Hex.Conway.compat_2_1_6 :
Compatible 2 1 6 supportedEntry_2_1 supportedEntry_2_6

Compatibility of C(2, 1) with C(2, 6).

source
theorem Hex.Conway.compat_2_2_6 :
Compatible 2 2 6 supportedEntry_2_2 supportedEntry_2_6

Compatibility of C(2, 2) with C(2, 6).

source
theorem Hex.Conway.compat_179_1_3 :
Compatible 179 1 3 supportedEntry_179_1 supportedEntry_179_3

Compatibility of C(179, 1) with C(179, 3).

source
theorem Hex.Conway.compat_223_1_3 :
Compatible 223 1 3 supportedEntry_223_1 supportedEntry_223_3

Compatibility of C(223, 1) with C(223, 3).

source
theorem Hex.Conway.compat_251_1_3 :
Compatible 251 1 3 supportedEntry_251_1 supportedEntry_251_3

Compatibility of C(251, 1) with C(251, 3).

source
theorem Hex.Conway.compat_71_1_3 :
Compatible 71 1 3 supportedEntry_71_1 supportedEntry_71_3

Compatibility of C(71, 1) with C(71, 3).

source
theorem Hex.Conway.compat_103_1_3 :
Compatible 103 1 3 supportedEntry_103_1 supportedEntry_103_3

Compatibility of C(103, 1) with C(103, 3).

source
theorem Hex.Conway.compat_257_1_3 :
Compatible 257 1 3 supportedEntry_257_1 supportedEntry_257_3

Compatibility of C(257, 1) with C(257, 3).

source
theorem Hex.Conway.compat_37_1_3 :
Compatible 37 1 3 supportedEntry_37_1 supportedEntry_37_3

Compatibility of C(37, 1) with C(37, 3).

source
theorem Hex.Conway.compat_167_1_3 :
Compatible 167 1 3 supportedEntry_167_1 supportedEntry_167_3

Compatibility of C(167, 1) with C(167, 3).

source
theorem Hex.Conway.compat_73_1_3 :
Compatible 73 1 3 supportedEntry_73_1 supportedEntry_73_3

Compatibility of C(73, 1) with C(73, 3).

source
theorem Hex.Conway.compat_23_1_3 :
Compatible 23 1 3 supportedEntry_23_1 supportedEntry_23_3

Compatibility of C(23, 1) with C(23, 3).

source
theorem Hex.Conway.compat_41_1_3 :
Compatible 41 1 3 supportedEntry_41_1 supportedEntry_41_3

Compatibility of C(41, 1) with C(41, 3).

source
theorem Hex.Conway.compat_571_1_2 :
Compatible 571 1 2 supportedEntry_571_1 supportedEntry_571_2

Compatibility of C(571, 1) with C(571, 2).

source
theorem Hex.Conway.compat_11_1_3 :
Compatible 11 1 3 supportedEntry_11_1 supportedEntry_11_3

Compatibility of C(11, 1) with C(11, 3).

source
theorem Hex.Conway.compat_521_1_2 :
Compatible 521 1 2 supportedEntry_521_1 supportedEntry_521_2

Compatibility of C(521, 1) with C(521, 2).

source
theorem Hex.Conway.compat_601_1_2 :
Compatible 601 1 2 supportedEntry_601_1 supportedEntry_601_2

Compatibility of C(601, 1) with C(601, 2).

source
theorem Hex.Conway.compat_643_1_2 :
Compatible 643 1 2 supportedEntry_643_1 supportedEntry_643_2

Compatibility of C(643, 1) with C(643, 2).

source
theorem Hex.Conway.compat_701_1_2 :
Compatible 701 1 2 supportedEntry_701_1 supportedEntry_701_2

Compatibility of C(701, 1) with C(701, 2).

source
theorem Hex.Conway.compat_743_1_2 :
Compatible 743 1 2 supportedEntry_743_1 supportedEntry_743_2

Compatibility of C(743, 1) with C(743, 2).

source
theorem Hex.Conway.compat_811_1_2 :
Compatible 811 1 2 supportedEntry_811_1 supportedEntry_811_2

Compatibility of C(811, 1) with C(811, 2).

source
theorem Hex.Conway.compat_839_1_2 :
Compatible 839 1 2 supportedEntry_839_1 supportedEntry_839_2

Compatibility of C(839, 1) with C(839, 2).

source
theorem Hex.Conway.compat_883_1_2 :
Compatible 883 1 2 supportedEntry_883_1 supportedEntry_883_2

Compatibility of C(883, 1) with C(883, 2).

source
theorem Hex.Conway.compat_941_1_2 :
Compatible 941 1 2 supportedEntry_941_1 supportedEntry_941_2

Compatibility of C(941, 1) with C(941, 2).