5 Commits

Author	SHA1	Message	Date
Janis Hutz	c656bfa2e7	[TI] Compact: Almost finish reductions	2025-12-06 10:31:33 +01:00
Janis Hutz	7e4fa44539	[TI] Compact: Start	2025-12-02 17:15:04 +01:00
Janis Hutz	19ca631705	[TI] Compact: Add better explanation	2025-11-04 15:57:36 +01:00
Janis Hutz	bbd5959ab8	[TI] Compact: Add theorem 5.3	2025-11-01 16:29:11 +01:00
Janis Hutz	5db81cb563	[TI] Start compact summary	2025-10-31 15:41:50 +01:00