Documentation

HexConway.CompatibilityProofs.S0_0

source
theorem Hex.Conway.compat_2_1_16 :
Compatible 2 1 16 supportedEntry_2_1 supportedEntry_2_16

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

source
theorem Hex.Conway.compat_2_1_15 :
Compatible 2 1 15 supportedEntry_2_1 supportedEntry_2_15

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

source
theorem Hex.Conway.compat_2_7_14 :
Compatible 2 7 14 supportedEntry_2_7 supportedEntry_2_14

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

source
theorem Hex.Conway.compat_5_1_8 :
Compatible 5 1 8 supportedEntry_5_1 supportedEntry_5_8

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

source
theorem Hex.Conway.compat_5_2_8 :
Compatible 5 2 8 supportedEntry_5_2 supportedEntry_5_8

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

source
theorem Hex.Conway.compat_7_4_8 :
Compatible 7 4 8 supportedEntry_7_4 supportedEntry_7_8

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

source
theorem Hex.Conway.compat_2_1_11 :
Compatible 2 1 11 supportedEntry_2_1 supportedEntry_2_11

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

source
theorem Hex.Conway.compat_2_1_13 :
Compatible 2 1 13 supportedEntry_2_1 supportedEntry_2_13

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

source
theorem Hex.Conway.compat_13_2_6 :
Compatible 13 2 6 supportedEntry_13_2 supportedEntry_13_6

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

source
theorem Hex.Conway.compat_281_2_4 :
Compatible 281 2 4 supportedEntry_281_2 supportedEntry_281_4

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

source
theorem Hex.Conway.compat_157_2_4 :
Compatible 157 2 4 supportedEntry_157_2 supportedEntry_157_4

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

source
theorem Hex.Conway.compat_191_2_4 :
Compatible 191 2 4 supportedEntry_191_2 supportedEntry_191_4

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

source
theorem Hex.Conway.compat_229_2_4 :
Compatible 229 2 4 supportedEntry_229_2 supportedEntry_229_4

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

source
theorem Hex.Conway.compat_263_2_4 :
Compatible 263 2 4 supportedEntry_263_2 supportedEntry_263_4

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

source
theorem Hex.Conway.compat_277_2_4 :
Compatible 277 2 4 supportedEntry_277_2 supportedEntry_277_4

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

source
theorem Hex.Conway.compat_83_2_4 :
Compatible 83 2 4 supportedEntry_83_2 supportedEntry_83_4

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

source
theorem Hex.Conway.compat_3_1_8 :
Compatible 3 1 8 supportedEntry_3_1 supportedEntry_3_8

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

source
theorem Hex.Conway.compat_131_2_4 :
Compatible 131 2 4 supportedEntry_131_2 supportedEntry_131_4

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

source
theorem Hex.Conway.compat_139_2_4 :
Compatible 139 2 4 supportedEntry_139_2 supportedEntry_139_4

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

source
theorem Hex.Conway.compat_151_2_4 :
Compatible 151 2 4 supportedEntry_151_2 supportedEntry_151_4

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

source
theorem Hex.Conway.compat_179_2_4 :
Compatible 179 2 4 supportedEntry_179_2 supportedEntry_179_4

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

source
theorem Hex.Conway.compat_197_2_4 :
Compatible 197 2 4 supportedEntry_197_2 supportedEntry_197_4

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

source
theorem Hex.Conway.compat_227_2_4 :
Compatible 227 2 4 supportedEntry_227_2 supportedEntry_227_4

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

source
theorem Hex.Conway.compat_241_2_4 :
Compatible 241 2 4 supportedEntry_241_2 supportedEntry_241_4

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