Merge pull request #464 from aodecipher/main

Formalize Theorem 1.3.20(i): L¹ approximation by simple functions

Author: teorth

.gitignore

@@ -19,8 +19,9 @@ Claude.md
 analysis/.repair
 **/.env
 **/.aider.conf.yml
+**/.formalize
 
 # miscellaneous files
 **/tobeIgnored/
 **/tmp
-**/docker/
+**/docker/