5 Commits

Author	SHA1	Message	Date
Sven Riwoldt	e9bb3e6004	Kapitel 2 erweitert	2026-03-28 21:25:55 +01:00
Sven Riwoldt	76ccd7da6a	Bis Definition 2.2	2026-03-10 17:19:08 +01:00
Sven Riwoldt	0476811e45	Vollständige Induktion	2026-03-01 17:25:42 +01:00
Sven Riwoldt	8cc31e7134	Berichtigungen	2026-02-28 13:09:04 +01:00
Sven Riwoldt	0836113d17	Band I Init	2024-02-07 17:40:53 +01:00