Documentation

HexConway.CompatibilityProofs.S3_2

source
theorem Hex.Conway.compat_661_1_3 :
Compatible 661 1 3 supportedEntry_661_1 supportedEntry_661_3

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

source
theorem Hex.Conway.compat_739_1_3 :
Compatible 739 1 3 supportedEntry_739_1 supportedEntry_739_3

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

source
theorem Hex.Conway.compat_829_1_3 :
Compatible 829 1 3 supportedEntry_829_1 supportedEntry_829_3

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

source
theorem Hex.Conway.compat_907_1_3 :
Compatible 907 1 3 supportedEntry_907_1 supportedEntry_907_3

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

source
theorem Hex.Conway.compat_3_1_6 :
Compatible 3 1 6 supportedEntry_3_1 supportedEntry_3_6

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

source
theorem Hex.Conway.compat_13_1_4 :
Compatible 13 1 4 supportedEntry_13_1 supportedEntry_13_4

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

source
theorem Hex.Conway.compat_19_1_4 :
Compatible 19 1 4 supportedEntry_19_1 supportedEntry_19_4

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

source
theorem Hex.Conway.compat_281_1_3 :
Compatible 281 1 3 supportedEntry_281_1 supportedEntry_281_3

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

source
theorem Hex.Conway.compat_337_1_3 :
Compatible 337 1 3 supportedEntry_337_1 supportedEntry_337_3

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

source
theorem Hex.Conway.compat_367_1_3 :
Compatible 367 1 3 supportedEntry_367_1 supportedEntry_367_3

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

source
theorem Hex.Conway.compat_421_1_3 :
Compatible 421 1 3 supportedEntry_421_1 supportedEntry_421_3

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

source
theorem Hex.Conway.compat_461_1_3 :
Compatible 461 1 3 supportedEntry_461_1 supportedEntry_461_3

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

source
theorem Hex.Conway.compat_7_1_5 :
Compatible 7 1 5 supportedEntry_7_1 supportedEntry_7_5

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

source
theorem Hex.Conway.compat_181_1_3 :
Compatible 181 1 3 supportedEntry_181_1 supportedEntry_181_3

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

source
theorem Hex.Conway.compat_563_1_3 :
Compatible 563 1 3 supportedEntry_563_1 supportedEntry_563_3

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

source
theorem Hex.Conway.compat_593_1_3 :
Compatible 593 1 3 supportedEntry_593_1 supportedEntry_593_3

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

source
theorem Hex.Conway.compat_719_1_3 :
Compatible 719 1 3 supportedEntry_719_1 supportedEntry_719_3

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

source
theorem Hex.Conway.compat_769_1_3 :
Compatible 769 1 3 supportedEntry_769_1 supportedEntry_769_3

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

source
theorem Hex.Conway.compat_883_1_3 :
Compatible 883 1 3 supportedEntry_883_1 supportedEntry_883_3

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

source
theorem Hex.Conway.compat_977_1_3 :
Compatible 977 1 3 supportedEntry_977_1 supportedEntry_977_3

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

source
theorem Hex.Conway.compat_271_1_3 :
Compatible 271 1 3 supportedEntry_271_1 supportedEntry_271_3

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

source
theorem Hex.Conway.compat_317_1_3 :
Compatible 317 1 3 supportedEntry_317_1 supportedEntry_317_3

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

source
theorem Hex.Conway.compat_409_1_3 :
Compatible 409 1 3 supportedEntry_409_1 supportedEntry_409_3

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

source
theorem Hex.Conway.compat_479_1_3 :
Compatible 479 1 3 supportedEntry_479_1 supportedEntry_479_3

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