Documentation

HexConway.CompatibilityProofs.S1_3

source
theorem Hex.Conway.compat_79_1_3 :
Compatible 79 1 3 supportedEntry_79_1 supportedEntry_79_3

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

source
theorem Hex.Conway.compat_131_1_3 :
Compatible 131 1 3 supportedEntry_131_1 supportedEntry_131_3

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

source
theorem Hex.Conway.compat_197_1_3 :
Compatible 197 1 3 supportedEntry_197_1 supportedEntry_197_3

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

source
theorem Hex.Conway.compat_233_1_3 :
Compatible 233 1 3 supportedEntry_233_1 supportedEntry_233_3

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

source
theorem Hex.Conway.compat_677_1_3 :
Compatible 677 1 3 supportedEntry_677_1 supportedEntry_677_3

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

source
theorem Hex.Conway.compat_857_1_3 :
Compatible 857 1 3 supportedEntry_857_1 supportedEntry_857_3

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

source
theorem Hex.Conway.compat_127_1_3 :
Compatible 127 1 3 supportedEntry_127_1 supportedEntry_127_3

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

source
theorem Hex.Conway.compat_2_1_7 :
Compatible 2 1 7 supportedEntry_2_1 supportedEntry_2_7

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

source
theorem Hex.Conway.compat_43_1_3 :
Compatible 43 1 3 supportedEntry_43_1 supportedEntry_43_3

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

source
theorem Hex.Conway.compat_173_1_3 :
Compatible 173 1 3 supportedEntry_173_1 supportedEntry_173_3

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

source
theorem Hex.Conway.compat_89_1_3 :
Compatible 89 1 3 supportedEntry_89_1 supportedEntry_89_3

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

source
theorem Hex.Conway.compat_29_1_3 :
Compatible 29 1 3 supportedEntry_29_1 supportedEntry_29_3

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

source
theorem Hex.Conway.compat_59_1_3 :
Compatible 59 1 3 supportedEntry_59_1 supportedEntry_59_3

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

source
theorem Hex.Conway.compat_659_1_2 :
Compatible 659 1 2 supportedEntry_659_1 supportedEntry_659_2

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

source
theorem Hex.Conway.compat_419_1_2 :
Compatible 419 1 2 supportedEntry_419_1 supportedEntry_419_2

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

source
theorem Hex.Conway.compat_547_1_2 :
Compatible 547 1 2 supportedEntry_547_1 supportedEntry_547_2

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

source
theorem Hex.Conway.compat_617_1_2 :
Compatible 617 1 2 supportedEntry_617_1 supportedEntry_617_2

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

source
theorem Hex.Conway.compat_661_1_2 :
Compatible 661 1 2 supportedEntry_661_1 supportedEntry_661_2

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

source
theorem Hex.Conway.compat_709_1_2 :
Compatible 709 1 2 supportedEntry_709_1 supportedEntry_709_2

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

source
theorem Hex.Conway.compat_761_1_2 :
Compatible 761 1 2 supportedEntry_761_1 supportedEntry_761_2

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

source
theorem Hex.Conway.compat_821_1_2 :
Compatible 821 1 2 supportedEntry_821_1 supportedEntry_821_2

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

source
theorem Hex.Conway.compat_853_1_2 :
Compatible 853 1 2 supportedEntry_853_1 supportedEntry_853_2

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

source
theorem Hex.Conway.compat_919_1_2 :
Compatible 919 1 2 supportedEntry_919_1 supportedEntry_919_2

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

source
theorem Hex.Conway.compat_947_1_2 :
Compatible 947 1 2 supportedEntry_947_1 supportedEntry_947_2

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