Documentation

HexConway.CompatibilityProofs.S0_1

source
theorem Hex.Conway.compat_2_3_9 :
Compatible 2 3 9 supportedEntry_2_3 supportedEntry_2_9

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

source
theorem Hex.Conway.compat_271_2_4 :
Compatible 271 2 4 supportedEntry_271_2 supportedEntry_271_4

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

source
theorem Hex.Conway.compat_89_1_4 :
Compatible 89 1 4 supportedEntry_89_1 supportedEntry_89_4

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

source
theorem Hex.Conway.compat_109_1_4 :
Compatible 109 1 4 supportedEntry_109_1 supportedEntry_109_4

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

source
theorem Hex.Conway.compat_5_1_6 :
Compatible 5 1 6 supportedEntry_5_1 supportedEntry_5_6

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

source
theorem Hex.Conway.compat_7_2_6 :
Compatible 7 2 6 supportedEntry_7_2 supportedEntry_7_6

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

source
theorem Hex.Conway.compat_193_1_4 :
Compatible 193 1 4 supportedEntry_193_1 supportedEntry_193_4

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

source
theorem Hex.Conway.compat_43_1_4 :
Compatible 43 1 4 supportedEntry_43_1 supportedEntry_43_4

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

source
theorem Hex.Conway.compat_47_2_4 :
Compatible 47 2 4 supportedEntry_47_2 supportedEntry_47_4

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

source
theorem Hex.Conway.compat_79_2_4 :
Compatible 79 2 4 supportedEntry_79_2 supportedEntry_79_4

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

source
theorem Hex.Conway.compat_101_2_4 :
Compatible 101 2 4 supportedEntry_101_2 supportedEntry_101_4

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

source
theorem Hex.Conway.compat_127_2_4 :
Compatible 127 2 4 supportedEntry_127_2 supportedEntry_127_4

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

source
theorem Hex.Conway.compat_53_1_4 :
Compatible 53 1 4 supportedEntry_53_1 supportedEntry_53_4

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

source
theorem Hex.Conway.compat_61_1_4 :
Compatible 61 1 4 supportedEntry_61_1 supportedEntry_61_4

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

source
theorem Hex.Conway.compat_991_1_3 :
Compatible 991 1 3 supportedEntry_991_1 supportedEntry_991_3

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

source
theorem Hex.Conway.compat_809_1_3 :
Compatible 809 1 3 supportedEntry_809_1 supportedEntry_809_3

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

source
theorem Hex.Conway.compat_877_1_3 :
Compatible 877 1 3 supportedEntry_877_1 supportedEntry_877_3

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

source
theorem Hex.Conway.compat_997_1_3 :
Compatible 997 1 3 supportedEntry_997_1 supportedEntry_997_3

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

source
theorem Hex.Conway.compat_29_2_4 :
Compatible 29 2 4 supportedEntry_29_2 supportedEntry_29_4

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

source
theorem Hex.Conway.compat_11_1_5 :
Compatible 11 1 5 supportedEntry_11_1 supportedEntry_11_5

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

source
theorem Hex.Conway.compat_373_1_3 :
Compatible 373 1 3 supportedEntry_373_1 supportedEntry_373_3

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

source
theorem Hex.Conway.compat_521_1_3 :
Compatible 521 1 3 supportedEntry_521_1 supportedEntry_521_3

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

source
theorem Hex.Conway.compat_601_1_3 :
Compatible 601 1 3 supportedEntry_601_1 supportedEntry_601_3

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

source
theorem Hex.Conway.compat_619_1_3 :
Compatible 619 1 3 supportedEntry_619_1 supportedEntry_619_3

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