1RB2LA0LA 2LC---2RA 0RA2RC1LC: Revision history

30 March 2026

• curprev 20:1320:13, 30 March 2026 Polygon talk contribs 6,636 bytes +223 Added equivalence to holdout #400
• curprev 19:5319:53, 30 March 2026 Polygon talk contribs 6,413 bytes −8 Shouldn't be a Stub anymore
• curprev 19:5019:50, 30 March 2026 Polygon talk contribs 6,421 bytes +454 →Analysis by LegionMammal978: Added D-rules, splitted into two blocks
• curprev 19:4719:47, 30 March 2026 Polygon talk contribs 5,967 bytes +407 →Analysis by LegionMammal978: there's a fixed version (the old one had errors)
• curprev 19:2719:27, 30 March 2026 Polygon talk contribs 5,560 bytes +5,116 Added Analysis by LegionMammal978

27 September 2025

• curprev 16:1816:18, 27 September 2025 Polygon talk contribs 444 bytes +21 Added Category:BB(3,3)

23 September 2025

• curprev 13:2413:24, 23 September 2025 Polygon talk contribs m 423 bytes −10 Removed undecided from bbch-link

11 August 2025

• curprev 10:0710:07, 11 August 2025 Polygon talk contribs 433 bytes −1 Removed space between templates

10 August 2025

• curprev 22:2122:21, 10 August 2025 Polygon talk contribs 434 bytes −9 Used Template:Stub
• curprev 21:0821:08, 10 August 2025 Polygon talk contribs 443 bytes +22 Added introductory sentence

13 September 2024

• curprev 23:5123:51, 13 September 2024 C7X talk contribs 421 bytes +68 Add author, link
• curprev 22:4622:46, 13 September 2024 C7X talk contribs 353 bytes +89 No edit summary

13 August 2024

• curprev 13:3313:33, 13 August 2024 DF376 talk contribs 264 bytes +10 No edit summary

23 July 2024

• curprev 02:3102:31, 23 July 2024 Int-y1 talk contribs 254 bytes −11 use a permalink to coq proof

18 July 2024

• curprev 01:4901:49, 18 July 2024 Sligocki talk contribs 265 bytes +18 Stub Tag: Visual edit

15 July 2024

• curprev 03:0503:05, 15 July 2024 Sligocki talk contribs 247 bytes +247 Created page with "{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} <code>@-d</code> — 13 Jun 2024 at 1:28 AM ET Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045"