Documentation

HexConway.CompatibilityProofs.S3_1

source
theorem Hex.Conway.compat_271_1_4 :
Compatible 271 1 4 supportedEntry_271_1 supportedEntry_271_4

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

source
theorem Hex.Conway.compat_73_1_4 :
Compatible 73 1 4 supportedEntry_73_1 supportedEntry_73_4

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

source
theorem Hex.Conway.compat_103_1_4 :
Compatible 103 1 4 supportedEntry_103_1 supportedEntry_103_4

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

source
theorem Hex.Conway.compat_113_1_4 :
Compatible 113 1 4 supportedEntry_113_1 supportedEntry_113_4

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

source
theorem Hex.Conway.compat_5_3_6 :
Compatible 5 3 6 supportedEntry_5_3 supportedEntry_5_6

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

source
theorem Hex.Conway.compat_163_1_4 :
Compatible 163 1 4 supportedEntry_163_1 supportedEntry_163_4

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

source
theorem Hex.Conway.compat_199_1_4 :
Compatible 199 1 4 supportedEntry_199_1 supportedEntry_199_4

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

source
theorem Hex.Conway.compat_47_1_4 :
Compatible 47 1 4 supportedEntry_47_1 supportedEntry_47_4

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

source
theorem Hex.Conway.compat_79_1_4 :
Compatible 79 1 4 supportedEntry_79_1 supportedEntry_79_4

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

source
theorem Hex.Conway.compat_101_1_4 :
Compatible 101 1 4 supportedEntry_101_1 supportedEntry_101_4

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

source
theorem Hex.Conway.compat_127_1_4 :
Compatible 127 1 4 supportedEntry_127_1 supportedEntry_127_4

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

source
theorem Hex.Conway.compat_37_2_4 :
Compatible 37 2 4 supportedEntry_37_2 supportedEntry_37_4

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

source
theorem Hex.Conway.compat_53_2_4 :
Compatible 53 2 4 supportedEntry_53_2 supportedEntry_53_4

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

source
theorem Hex.Conway.compat_61_2_4 :
Compatible 61 2 4 supportedEntry_61_2 supportedEntry_61_4

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

source
theorem Hex.Conway.compat_547_1_3 :
Compatible 547 1 3 supportedEntry_547_1 supportedEntry_547_3

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

source
theorem Hex.Conway.compat_811_1_3 :
Compatible 811 1 3 supportedEntry_811_1 supportedEntry_811_3

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

source
theorem Hex.Conway.compat_947_1_3 :
Compatible 947 1 3 supportedEntry_947_1 supportedEntry_947_3

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

source
theorem Hex.Conway.compat_23_1_4 :
Compatible 23 1 4 supportedEntry_23_1 supportedEntry_23_4

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

source
theorem Hex.Conway.compat_31_1_4 :
Compatible 31 1 4 supportedEntry_31_1 supportedEntry_31_4

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

source
theorem Hex.Conway.compat_13_1_5 :
Compatible 13 1 5 supportedEntry_13_1 supportedEntry_13_5

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

source
theorem Hex.Conway.compat_431_1_3 :
Compatible 431 1 3 supportedEntry_431_1 supportedEntry_431_3

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

source
theorem Hex.Conway.compat_523_1_3 :
Compatible 523 1 3 supportedEntry_523_1 supportedEntry_523_3

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

source
theorem Hex.Conway.compat_607_1_3 :
Compatible 607 1 3 supportedEntry_607_1 supportedEntry_607_3

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

source
theorem Hex.Conway.compat_643_1_3 :
Compatible 643 1 3 supportedEntry_643_1 supportedEntry_643_3

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