| 
						
					 | 
					
						
						
						
						
							
						
						
							eec6174562
							
						
					 | 
					
						
						
							
							Try moving some proofs into an appendix
						
						
						
						
						
					 | 
					
						2022-01-01 20:12:30 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							81efcea0e5
							
						
					 | 
					
						
						
							
							Give initial stabs at Arthur's suggestions
						
						
						
						
						
					 | 
					
						2022-01-01 14:45:11 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							7ac85b5b1e
							
						
					 | 
					
						
						
							
							Add some more to the generalization sections.
						
						
						
						
						
					 | 
					
						2022-01-01 03:36:20 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							1b35ca32ac
							
						
					 | 
					
						
						
							
							Fix a few typos (thanks, Arthur)
						
						
						
						
						
					 | 
					
						2021-12-31 19:32:37 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							97c989e465
							
						
					 | 
					
						
						
							
							Add a draft about digit sum patterns.
						
						
						
						
						
					 | 
					
						2021-12-31 00:14:31 -08:00 | 
					
					
						
						
							
							
							
						
					 |