6 Commits

Include renames

Author	SHA1	Message	Date
Stefan Kebekus	cc75cdc801	Cleanup and final touches	2026-08-13 10:08:19 +02:00
Stefan Kebekus	4ff2bb5fb2	Working.	2026-08-13 09:47:44 +02:00
Stefan Kebekus	06f12adfa9	Adding material	2026-08-12 17:05:26 +02:00
Stefan Kebekus	ffbd7a08e2	Update Degrees.lean	2026-08-12 16:45:54 +02:00
Stefan Kebekus	daae893145	Working…	2026-08-11 13:59:48 +02:00
Stefan Kebekus	609214a230	Working…	2026-08-11 11:51:10 +02:00