Documentation

HexConway.CompatibilityProofs.S0_3

source
theorem Hex.Conway.compat_503_1_3 :
Compatible 503 1 3 supportedEntry_503_1 supportedEntry_503_3

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

source
theorem Hex.Conway.compat_107_1_3 :
Compatible 107 1 3 supportedEntry_107_1 supportedEntry_107_3

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

source
theorem Hex.Conway.compat_157_1_3 :
Compatible 157 1 3 supportedEntry_157_1 supportedEntry_157_3

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

source
theorem Hex.Conway.compat_199_1_3 :
Compatible 199 1 3 supportedEntry_199_1 supportedEntry_199_3

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

source
theorem Hex.Conway.compat_241_1_3 :
Compatible 241 1 3 supportedEntry_241_1 supportedEntry_241_3

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

source
theorem Hex.Conway.compat_773_1_3 :
Compatible 773 1 3 supportedEntry_773_1 supportedEntry_773_3

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

source
theorem Hex.Conway.compat_83_1_3 :
Compatible 83 1 3 supportedEntry_83_1 supportedEntry_83_3

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

source
theorem Hex.Conway.compat_109_1_3 :
Compatible 109 1 3 supportedEntry_109_1 supportedEntry_109_3

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

source
theorem Hex.Conway.compat_293_1_3 :
Compatible 293 1 3 supportedEntry_293_1 supportedEntry_293_3

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

source
theorem Hex.Conway.compat_47_1_3 :
Compatible 47 1 3 supportedEntry_47_1 supportedEntry_47_3

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

source
theorem Hex.Conway.compat_5_1_4 :
Compatible 5 1 4 supportedEntry_5_1 supportedEntry_5_4

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

source
theorem Hex.Conway.compat_7_1_4 :
Compatible 7 1 4 supportedEntry_7_1 supportedEntry_7_4

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

source
theorem Hex.Conway.compat_97_1_3 :
Compatible 97 1 3 supportedEntry_97_1 supportedEntry_97_3

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

source
theorem Hex.Conway.compat_31_1_3 :
Compatible 31 1 3 supportedEntry_31_1 supportedEntry_31_3

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

source
theorem Hex.Conway.compat_911_1_2 :
Compatible 911 1 2 supportedEntry_911_1 supportedEntry_911_2

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

source
theorem Hex.Conway.compat_19_1_3 :
Compatible 19 1 3 supportedEntry_19_1 supportedEntry_19_3

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

source
theorem Hex.Conway.compat_599_1_2 :
Compatible 599 1 2 supportedEntry_599_1 supportedEntry_599_2

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

source
theorem Hex.Conway.compat_631_1_2 :
Compatible 631 1 2 supportedEntry_631_1 supportedEntry_631_2

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

source
theorem Hex.Conway.compat_691_1_2 :
Compatible 691 1 2 supportedEntry_691_1 supportedEntry_691_2

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

source
theorem Hex.Conway.compat_739_1_2 :
Compatible 739 1 2 supportedEntry_739_1 supportedEntry_739_2

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

source
theorem Hex.Conway.compat_797_1_2 :
Compatible 797 1 2 supportedEntry_797_1 supportedEntry_797_2

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

source
theorem Hex.Conway.compat_829_1_2 :
Compatible 829 1 2 supportedEntry_829_1 supportedEntry_829_2

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

source
theorem Hex.Conway.compat_881_1_2 :
Compatible 881 1 2 supportedEntry_881_1 supportedEntry_881_2

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

source
theorem Hex.Conway.compat_937_1_2 :
Compatible 937 1 2 supportedEntry_937_1 supportedEntry_937_2

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