6 commits

Author	SHA1	Message	Date
Josia Pietsch	9cf7536921	summary	2023-07-18 23:58:27 +02:00
Josia Pietsch	fae60388ab	boundedness	2023-07-18 22:33:10 +02:00
Josia Pietsch	bf808be83e	some facts	2023-07-18 15:57:08 +02:00
Josia Pietsch	2eefdd0236	some small changes	2023-07-13 00:38:46 +02:00
Josia Pietsch	95f823683f	some small changes	2023-07-10 12:20:52 +02:00
Josia Pietsch	872cb3b0bb	some small changes	2023-07-07 17:42:38 +02:00