3 Commits

Author	SHA1	Message	Date
Spectre	0f132f28fa	finished proof	2025-12-04 11:28:16 +01:00
Spectre	1a7f776eb5	continuing the latex	2025-12-04 08:40:41 +01:00
Spectre	f338dec7e5	moved the file	2025-12-03 18:17:09 +01:00