Documentation

HexConway.CompatibilityProofs.S3_0

source
theorem Hex.Conway.compat_2_8_16 :
Compatible 2 8 16 supportedEntry_2_8 supportedEntry_2_16

Compatibility of C(2, 8) with C(2, 16).

source
theorem Hex.Conway.compat_2_1_14 :
Compatible 2 1 14 supportedEntry_2_1 supportedEntry_2_14

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

source
theorem Hex.Conway.compat_2_2_14 :
Compatible 2 2 14 supportedEntry_2_2 supportedEntry_2_14

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

source
theorem Hex.Conway.compat_2_3_12 :
Compatible 2 3 12 supportedEntry_2_3 supportedEntry_2_12

Compatibility of C(2, 3) with C(2, 12).

source
theorem Hex.Conway.compat_5_4_8 :
Compatible 5 4 8 supportedEntry_5_4 supportedEntry_5_8

Compatibility of C(5, 4) with C(5, 8).

source
theorem Hex.Conway.compat_2_1_10 :
Compatible 2 1 10 supportedEntry_2_1 supportedEntry_2_10

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

source
theorem Hex.Conway.compat_11_1_6 :
Compatible 11 1 6 supportedEntry_11_1 supportedEntry_11_6

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

source
theorem Hex.Conway.compat_13_1_6 :
Compatible 13 1 6 supportedEntry_13_1 supportedEntry_13_6

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

source
theorem Hex.Conway.compat_281_1_4 :
Compatible 281 1 4 supportedEntry_281_1 supportedEntry_281_4

Compatibility of C(281, 1) with C(281, 4).

source
theorem Hex.Conway.compat_157_1_4 :
Compatible 157 1 4 supportedEntry_157_1 supportedEntry_157_4

Compatibility of C(157, 1) with C(157, 4).

source
theorem Hex.Conway.compat_191_1_4 :
Compatible 191 1 4 supportedEntry_191_1 supportedEntry_191_4

Compatibility of C(191, 1) with C(191, 4).

source
theorem Hex.Conway.compat_229_1_4 :
Compatible 229 1 4 supportedEntry_229_1 supportedEntry_229_4

Compatibility of C(229, 1) with C(229, 4).

source
theorem Hex.Conway.compat_263_1_4 :
Compatible 263 1 4 supportedEntry_263_1 supportedEntry_263_4

Compatibility of C(263, 1) with C(263, 4).

source
theorem Hex.Conway.compat_277_1_4 :
Compatible 277 1 4 supportedEntry_277_1 supportedEntry_277_4

Compatibility of C(277, 1) with C(277, 4).

source
theorem Hex.Conway.compat_83_1_4 :
Compatible 83 1 4 supportedEntry_83_1 supportedEntry_83_4

Compatibility of C(83, 1) with C(83, 4).

source
theorem Hex.Conway.compat_2_4_8 :
Compatible 2 4 8 supportedEntry_2_4 supportedEntry_2_8

Compatibility of C(2, 4) with C(2, 8).

source
theorem Hex.Conway.compat_131_1_4 :
Compatible 131 1 4 supportedEntry_131_1 supportedEntry_131_4

Compatibility of C(131, 1) with C(131, 4).

source
theorem Hex.Conway.compat_139_1_4 :
Compatible 139 1 4 supportedEntry_139_1 supportedEntry_139_4

Compatibility of C(139, 1) with C(139, 4).

source
theorem Hex.Conway.compat_151_1_4 :
Compatible 151 1 4 supportedEntry_151_1 supportedEntry_151_4

Compatibility of C(151, 1) with C(151, 4).

source
theorem Hex.Conway.compat_179_1_4 :
Compatible 179 1 4 supportedEntry_179_1 supportedEntry_179_4

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

source
theorem Hex.Conway.compat_197_1_4 :
Compatible 197 1 4 supportedEntry_197_1 supportedEntry_197_4

Compatibility of C(197, 1) with C(197, 4).

source
theorem Hex.Conway.compat_227_1_4 :
Compatible 227 1 4 supportedEntry_227_1 supportedEntry_227_4

Compatibility of C(227, 1) with C(227, 4).

source
theorem Hex.Conway.compat_241_1_4 :
Compatible 241 1 4 supportedEntry_241_1 supportedEntry_241_4

Compatibility of C(241, 1) with C(241, 4).

source
theorem Hex.Conway.compat_2_1_9 :
Compatible 2 1 9 supportedEntry_2_1 supportedEntry_2_9

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