Documentation

HexConway.CompatibilityProofs.S2_0

source
theorem Hex.Conway.compat_2_4_16 :
Compatible 2 4 16 supportedEntry_2_4 supportedEntry_2_16

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

source
theorem Hex.Conway.compat_2_5_15 :
Compatible 2 5 15 supportedEntry_2_5 supportedEntry_2_15

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

source
theorem Hex.Conway.compat_2_2_12 :
Compatible 2 2 12 supportedEntry_2_2 supportedEntry_2_12

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

source
theorem Hex.Conway.compat_2_6_12 :
Compatible 2 6 12 supportedEntry_2_6 supportedEntry_2_12

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

source
theorem Hex.Conway.compat_7_2_8 :
Compatible 7 2 8 supportedEntry_7_2 supportedEntry_7_8

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

source
theorem Hex.Conway.compat_2_5_10 :
Compatible 2 5 10 supportedEntry_2_5 supportedEntry_2_10

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

source
theorem Hex.Conway.compat_11_3_6 :
Compatible 11 3 6 supportedEntry_11_3 supportedEntry_11_6

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

source
theorem Hex.Conway.compat_7_1_7 :
Compatible 7 1 7 supportedEntry_7_1 supportedEntry_7_7

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

source
theorem Hex.Conway.compat_293_1_4 :
Compatible 293 1 4 supportedEntry_293_1 supportedEntry_293_4

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

source
theorem Hex.Conway.compat_173_1_4 :
Compatible 173 1 4 supportedEntry_173_1 supportedEntry_173_4

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

source
theorem Hex.Conway.compat_211_1_4 :
Compatible 211 1 4 supportedEntry_211_1 supportedEntry_211_4

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

source
theorem Hex.Conway.compat_233_1_4 :
Compatible 233 1 4 supportedEntry_233_1 supportedEntry_233_4

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

source
theorem Hex.Conway.compat_269_1_4 :
Compatible 269 1 4 supportedEntry_269_1 supportedEntry_269_4

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

source
theorem Hex.Conway.compat_283_1_4 :
Compatible 283 1 4 supportedEntry_283_1 supportedEntry_283_4

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

source
theorem Hex.Conway.compat_2_1_8 :
Compatible 2 1 8 supportedEntry_2_1 supportedEntry_2_8

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

source
theorem Hex.Conway.compat_3_2_8 :
Compatible 3 2 8 supportedEntry_3_2 supportedEntry_3_8

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

source
theorem Hex.Conway.compat_137_1_4 :
Compatible 137 1 4 supportedEntry_137_1 supportedEntry_137_4

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

source
theorem Hex.Conway.compat_149_1_4 :
Compatible 149 1 4 supportedEntry_149_1 supportedEntry_149_4

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

source
theorem Hex.Conway.compat_167_1_4 :
Compatible 167 1 4 supportedEntry_167_1 supportedEntry_167_4

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

source
theorem Hex.Conway.compat_181_1_4 :
Compatible 181 1 4 supportedEntry_181_1 supportedEntry_181_4

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

source
theorem Hex.Conway.compat_223_1_4 :
Compatible 223 1 4 supportedEntry_223_1 supportedEntry_223_4

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

source
theorem Hex.Conway.compat_239_1_4 :
Compatible 239 1 4 supportedEntry_239_1 supportedEntry_239_4

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

source
theorem Hex.Conway.compat_251_1_4 :
Compatible 251 1 4 supportedEntry_251_1 supportedEntry_251_4

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

source
theorem Hex.Conway.compat_257_1_4 :
Compatible 257 1 4 supportedEntry_257_1 supportedEntry_257_4

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