Documentation

HexConway.CompatibilityProofs.S3_3

source
theorem Hex.Conway.compat_67_1_3 :
Compatible 67 1 3 supportedEntry_67_1 supportedEntry_67_3

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

source
theorem Hex.Conway.compat_2_3_6 :
Compatible 2 3 6 supportedEntry_2_3 supportedEntry_2_6

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

source
theorem Hex.Conway.compat_193_1_3 :
Compatible 193 1 3 supportedEntry_193_1 supportedEntry_193_3

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

source
theorem Hex.Conway.compat_227_1_3 :
Compatible 227 1 3 supportedEntry_227_1 supportedEntry_227_3

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

source
theorem Hex.Conway.compat_61_1_3 :
Compatible 61 1 3 supportedEntry_61_1 supportedEntry_61_3

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

source
theorem Hex.Conway.compat_839_1_3 :
Compatible 839 1 3 supportedEntry_839_1 supportedEntry_839_3

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

source
theorem Hex.Conway.compat_113_1_3 :
Compatible 113 1 3 supportedEntry_113_1 supportedEntry_113_3

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

source
theorem Hex.Conway.compat_383_1_3 :
Compatible 383 1 3 supportedEntry_383_1 supportedEntry_383_3

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

source
theorem Hex.Conway.compat_53_1_3 :
Compatible 53 1 3 supportedEntry_53_1 supportedEntry_53_3

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

source
theorem Hex.Conway.compat_5_2_4 :
Compatible 5 2 4 supportedEntry_5_2 supportedEntry_5_4

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

source
theorem Hex.Conway.compat_7_2_4 :
Compatible 7 2 4 supportedEntry_7_2 supportedEntry_7_4

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

source
theorem Hex.Conway.compat_101_1_3 :
Compatible 101 1 3 supportedEntry_101_1 supportedEntry_101_3

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

source
theorem Hex.Conway.compat_3_1_5 :
Compatible 3 1 5 supportedEntry_3_1 supportedEntry_3_5

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

source
theorem Hex.Conway.compat_859_1_2 :
Compatible 859 1 2 supportedEntry_859_1 supportedEntry_859_2

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

source
theorem Hex.Conway.compat_461_1_2 :
Compatible 461 1 2 supportedEntry_461_1 supportedEntry_461_2

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

source
theorem Hex.Conway.compat_569_1_2 :
Compatible 569 1 2 supportedEntry_569_1 supportedEntry_569_2

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

source
theorem Hex.Conway.compat_619_1_2 :
Compatible 619 1 2 supportedEntry_619_1 supportedEntry_619_2

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

source
theorem Hex.Conway.compat_683_1_2 :
Compatible 683 1 2 supportedEntry_683_1 supportedEntry_683_2

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

source
theorem Hex.Conway.compat_727_1_2 :
Compatible 727 1 2 supportedEntry_727_1 supportedEntry_727_2

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

source
theorem Hex.Conway.compat_769_1_2 :
Compatible 769 1 2 supportedEntry_769_1 supportedEntry_769_2

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

source
theorem Hex.Conway.compat_827_1_2 :
Compatible 827 1 2 supportedEntry_827_1 supportedEntry_827_2

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

source
theorem Hex.Conway.compat_857_1_2 :
Compatible 857 1 2 supportedEntry_857_1 supportedEntry_857_2

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

source
theorem Hex.Conway.compat_929_1_2 :
Compatible 929 1 2 supportedEntry_929_1 supportedEntry_929_2

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

source
theorem Hex.Conway.compat_953_1_2 :
Compatible 953 1 2 supportedEntry_953_1 supportedEntry_953_2

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