Documentation

HexConway.CompatibilityProofs.S1_2

source
theorem Hex.Conway.compat_683_1_3 :
Compatible 683 1 3 supportedEntry_683_1 supportedEntry_683_3

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

source
theorem Hex.Conway.compat_751_1_3 :
Compatible 751 1 3 supportedEntry_751_1 supportedEntry_751_3

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

source
theorem Hex.Conway.compat_853_1_3 :
Compatible 853 1 3 supportedEntry_853_1 supportedEntry_853_3

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

source
theorem Hex.Conway.compat_911_1_3 :
Compatible 911 1 3 supportedEntry_911_1 supportedEntry_911_3

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

source
theorem Hex.Conway.compat_3_2_6 :
Compatible 3 2 6 supportedEntry_3_2 supportedEntry_3_6

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

source
theorem Hex.Conway.compat_13_2_4 :
Compatible 13 2 4 supportedEntry_13_2 supportedEntry_13_4

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

source
theorem Hex.Conway.compat_19_2_4 :
Compatible 19 2 4 supportedEntry_19_2 supportedEntry_19_4

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

source
theorem Hex.Conway.compat_311_1_3 :
Compatible 311 1 3 supportedEntry_311_1 supportedEntry_311_3

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

source
theorem Hex.Conway.compat_359_1_3 :
Compatible 359 1 3 supportedEntry_359_1 supportedEntry_359_3

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

source
theorem Hex.Conway.compat_419_1_3 :
Compatible 419 1 3 supportedEntry_419_1 supportedEntry_419_3

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

source
theorem Hex.Conway.compat_457_1_3 :
Compatible 457 1 3 supportedEntry_457_1 supportedEntry_457_3

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

source
theorem Hex.Conway.compat_5_1_5 :
Compatible 5 1 5 supportedEntry_5_1 supportedEntry_5_5

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

source
theorem Hex.Conway.compat_137_1_3 :
Compatible 137 1 3 supportedEntry_137_1 supportedEntry_137_3

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

source
theorem Hex.Conway.compat_151_1_3 :
Compatible 151 1 3 supportedEntry_151_1 supportedEntry_151_3

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

source
theorem Hex.Conway.compat_239_1_3 :
Compatible 239 1 3 supportedEntry_239_1 supportedEntry_239_3

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

source
theorem Hex.Conway.compat_577_1_3 :
Compatible 577 1 3 supportedEntry_577_1 supportedEntry_577_3

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

source
theorem Hex.Conway.compat_673_1_3 :
Compatible 673 1 3 supportedEntry_673_1 supportedEntry_673_3

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

source
theorem Hex.Conway.compat_743_1_3 :
Compatible 743 1 3 supportedEntry_743_1 supportedEntry_743_3

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

source
theorem Hex.Conway.compat_827_1_3 :
Compatible 827 1 3 supportedEntry_827_1 supportedEntry_827_3

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

source
theorem Hex.Conway.compat_929_1_3 :
Compatible 929 1 3 supportedEntry_929_1 supportedEntry_929_3

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

source
theorem Hex.Conway.compat_11_1_4 :
Compatible 11 1 4 supportedEntry_11_1 supportedEntry_11_4

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

source
theorem Hex.Conway.compat_353_1_3 :
Compatible 353 1 3 supportedEntry_353_1 supportedEntry_353_3

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

source
theorem Hex.Conway.compat_433_1_3 :
Compatible 433 1 3 supportedEntry_433_1 supportedEntry_433_3

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

source
theorem Hex.Conway.compat_487_1_3 :
Compatible 487 1 3 supportedEntry_487_1 supportedEntry_487_3

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