Documentation

HexConway.CompatibilityProofs.S0_2

source
theorem Hex.Conway.compat_659_1_3 :
Compatible 659 1 3 supportedEntry_659_1 supportedEntry_659_3

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

source
theorem Hex.Conway.compat_733_1_3 :
Compatible 733 1 3 supportedEntry_733_1 supportedEntry_733_3

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

source
theorem Hex.Conway.compat_787_1_3 :
Compatible 787 1 3 supportedEntry_787_1 supportedEntry_787_3

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

source
theorem Hex.Conway.compat_881_1_3 :
Compatible 881 1 3 supportedEntry_881_1 supportedEntry_881_3

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

source
theorem Hex.Conway.compat_953_1_3 :
Compatible 953 1 3 supportedEntry_953_1 supportedEntry_953_3

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

source
theorem Hex.Conway.compat_191_1_3 :
Compatible 191 1 3 supportedEntry_191_1 supportedEntry_191_3

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

source
theorem Hex.Conway.compat_17_2_4 :
Compatible 17 2 4 supportedEntry_17_2 supportedEntry_17_4

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

source
theorem Hex.Conway.compat_269_1_3 :
Compatible 269 1 3 supportedEntry_269_1 supportedEntry_269_3

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

source
theorem Hex.Conway.compat_307_1_3 :
Compatible 307 1 3 supportedEntry_307_1 supportedEntry_307_3

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

source
theorem Hex.Conway.compat_349_1_3 :
Compatible 349 1 3 supportedEntry_349_1 supportedEntry_349_3

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

source
theorem Hex.Conway.compat_397_1_3 :
Compatible 397 1 3 supportedEntry_397_1 supportedEntry_397_3

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

source
theorem Hex.Conway.compat_443_1_3 :
Compatible 443 1 3 supportedEntry_443_1 supportedEntry_443_3

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

source
theorem Hex.Conway.compat_499_1_3 :
Compatible 499 1 3 supportedEntry_499_1 supportedEntry_499_3

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

source
theorem Hex.Conway.compat_149_1_3 :
Compatible 149 1 3 supportedEntry_149_1 supportedEntry_149_3

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

source
theorem Hex.Conway.compat_229_1_3 :
Compatible 229 1 3 supportedEntry_229_1 supportedEntry_229_3

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

source
theorem Hex.Conway.compat_569_1_3 :
Compatible 569 1 3 supportedEntry_569_1 supportedEntry_569_3

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

source
theorem Hex.Conway.compat_641_1_3 :
Compatible 641 1 3 supportedEntry_641_1 supportedEntry_641_3

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

source
theorem Hex.Conway.compat_727_1_3 :
Compatible 727 1 3 supportedEntry_727_1 supportedEntry_727_3

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

source
theorem Hex.Conway.compat_797_1_3 :
Compatible 797 1 3 supportedEntry_797_1 supportedEntry_797_3

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

source
theorem Hex.Conway.compat_887_1_3 :
Compatible 887 1 3 supportedEntry_887_1 supportedEntry_887_3

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

source
theorem Hex.Conway.compat_983_1_3 :
Compatible 983 1 3 supportedEntry_983_1 supportedEntry_983_3

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

source
theorem Hex.Conway.compat_313_1_3 :
Compatible 313 1 3 supportedEntry_313_1 supportedEntry_313_3

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

source
theorem Hex.Conway.compat_389_1_3 :
Compatible 389 1 3 supportedEntry_389_1 supportedEntry_389_3

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

source
theorem Hex.Conway.compat_449_1_3 :
Compatible 449 1 3 supportedEntry_449_1 supportedEntry_449_3

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