Documentation

HexConway.CompatibilityProofs.S2_1

source
theorem Hex.Conway.compat_67_1_4 :
Compatible 67 1 4 supportedEntry_67_1 supportedEntry_67_4

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

source
theorem Hex.Conway.compat_73_2_4 :
Compatible 73 2 4 supportedEntry_73_2 supportedEntry_73_4

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

source
theorem Hex.Conway.compat_103_2_4 :
Compatible 103 2 4 supportedEntry_103_2 supportedEntry_103_4

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

source
theorem Hex.Conway.compat_113_2_4 :
Compatible 113 2 4 supportedEntry_113_2 supportedEntry_113_4

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

source
theorem Hex.Conway.compat_7_1_6 :
Compatible 7 1 6 supportedEntry_7_1 supportedEntry_7_6

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

source
theorem Hex.Conway.compat_163_2_4 :
Compatible 163 2 4 supportedEntry_163_2 supportedEntry_163_4

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

source
theorem Hex.Conway.compat_199_2_4 :
Compatible 199 2 4 supportedEntry_199_2 supportedEntry_199_4

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

source
theorem Hex.Conway.compat_71_2_4 :
Compatible 71 2 4 supportedEntry_71_2 supportedEntry_71_4

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

source
theorem Hex.Conway.compat_97_2_4 :
Compatible 97 2 4 supportedEntry_97_2 supportedEntry_97_4

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

source
theorem Hex.Conway.compat_107_2_4 :
Compatible 107 2 4 supportedEntry_107_2 supportedEntry_107_4

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

source
theorem Hex.Conway.compat_37_1_4 :
Compatible 37 1 4 supportedEntry_37_1 supportedEntry_37_4

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

source
theorem Hex.Conway.compat_41_2_4 :
Compatible 41 2 4 supportedEntry_41_2 supportedEntry_41_4

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

source
theorem Hex.Conway.compat_59_2_4 :
Compatible 59 2 4 supportedEntry_59_2 supportedEntry_59_4

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

source
theorem Hex.Conway.compat_919_1_3 :
Compatible 919 1 3 supportedEntry_919_1 supportedEntry_919_3

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

source
theorem Hex.Conway.compat_691_1_3 :
Compatible 691 1 3 supportedEntry_691_1 supportedEntry_691_3

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

source
theorem Hex.Conway.compat_823_1_3 :
Compatible 823 1 3 supportedEntry_823_1 supportedEntry_823_3

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

source
theorem Hex.Conway.compat_971_1_3 :
Compatible 971 1 3 supportedEntry_971_1 supportedEntry_971_3

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

source
theorem Hex.Conway.compat_29_1_4 :
Compatible 29 1 4 supportedEntry_29_1 supportedEntry_29_4

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

source
theorem Hex.Conway.compat_211_1_3 :
Compatible 211 1 3 supportedEntry_211_1 supportedEntry_211_3

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

source
theorem Hex.Conway.compat_277_1_3 :
Compatible 277 1 3 supportedEntry_277_1 supportedEntry_277_3

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

source
theorem Hex.Conway.compat_463_1_3 :
Compatible 463 1 3 supportedEntry_463_1 supportedEntry_463_3

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

source
theorem Hex.Conway.compat_599_1_3 :
Compatible 599 1 3 supportedEntry_599_1 supportedEntry_599_3

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

source
theorem Hex.Conway.compat_617_1_3 :
Compatible 617 1 3 supportedEntry_617_1 supportedEntry_617_3

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

source
theorem Hex.Conway.compat_653_1_3 :
Compatible 653 1 3 supportedEntry_653_1 supportedEntry_653_3

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