Documentation

HexConway.CompatibilityProofs.S1_0

source
theorem Hex.Conway.compat_2_2_16 :
Compatible 2 2 16 supportedEntry_2_2 supportedEntry_2_16

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

source
theorem Hex.Conway.compat_2_3_15 :
Compatible 2 3 15 supportedEntry_2_3 supportedEntry_2_15

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

source
theorem Hex.Conway.compat_2_1_12 :
Compatible 2 1 12 supportedEntry_2_1 supportedEntry_2_12

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

source
theorem Hex.Conway.compat_2_4_12 :
Compatible 2 4 12 supportedEntry_2_4 supportedEntry_2_12

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

source
theorem Hex.Conway.compat_7_1_8 :
Compatible 7 1 8 supportedEntry_7_1 supportedEntry_7_8

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

source
theorem Hex.Conway.compat_2_2_10 :
Compatible 2 2 10 supportedEntry_2_2 supportedEntry_2_10

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

source
theorem Hex.Conway.compat_11_2_6 :
Compatible 11 2 6 supportedEntry_11_2 supportedEntry_11_6

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

source
theorem Hex.Conway.compat_13_3_6 :
Compatible 13 3 6 supportedEntry_13_3 supportedEntry_13_6

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

source
theorem Hex.Conway.compat_293_2_4 :
Compatible 293 2 4 supportedEntry_293_2 supportedEntry_293_4

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

source
theorem Hex.Conway.compat_173_2_4 :
Compatible 173 2 4 supportedEntry_173_2 supportedEntry_173_4

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

source
theorem Hex.Conway.compat_211_2_4 :
Compatible 211 2 4 supportedEntry_211_2 supportedEntry_211_4

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

source
theorem Hex.Conway.compat_233_2_4 :
Compatible 233 2 4 supportedEntry_233_2 supportedEntry_233_4

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

source
theorem Hex.Conway.compat_269_2_4 :
Compatible 269 2 4 supportedEntry_269_2 supportedEntry_269_4

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

source
theorem Hex.Conway.compat_283_2_4 :
Compatible 283 2 4 supportedEntry_283_2 supportedEntry_283_4

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

source
theorem Hex.Conway.compat_2_2_8 :
Compatible 2 2 8 supportedEntry_2_2 supportedEntry_2_8

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

source
theorem Hex.Conway.compat_3_4_8 :
Compatible 3 4 8 supportedEntry_3_4 supportedEntry_3_8

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

source
theorem Hex.Conway.compat_137_2_4 :
Compatible 137 2 4 supportedEntry_137_2 supportedEntry_137_4

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

source
theorem Hex.Conway.compat_149_2_4 :
Compatible 149 2 4 supportedEntry_149_2 supportedEntry_149_4

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

source
theorem Hex.Conway.compat_167_2_4 :
Compatible 167 2 4 supportedEntry_167_2 supportedEntry_167_4

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

source
theorem Hex.Conway.compat_181_2_4 :
Compatible 181 2 4 supportedEntry_181_2 supportedEntry_181_4

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

source
theorem Hex.Conway.compat_223_2_4 :
Compatible 223 2 4 supportedEntry_223_2 supportedEntry_223_4

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

source
theorem Hex.Conway.compat_239_2_4 :
Compatible 239 2 4 supportedEntry_239_2 supportedEntry_239_4

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

source
theorem Hex.Conway.compat_251_2_4 :
Compatible 251 2 4 supportedEntry_251_2 supportedEntry_251_4

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

source
theorem Hex.Conway.compat_257_2_4 :
Compatible 257 2 4 supportedEntry_257_2 supportedEntry_257_4

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