lukestein’s Twitter Archive—№ 8,377

@itaisher May be more straightforward and cut down on need to have infinite appendices just to have an appendix containing a proof that the results of Appendix n imply the results of Appendix n+1 (excluding of course the details deferred to Appendix n+2)