Talk:1RB3RB1LB---2RB 2LA1RA4LB2LA2RA

From BusyBeaverWiki
Jump to navigation Jump to search

Perhaps the stub category can be dropped now. Added most of the useful info: copying over the entire proof seems redundant.