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

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"