3 commits

Author	SHA1	Message	Date
Josia Pietsch	76aeeb8d22	removed whitespace	2023-07-18 22:59:46 +02:00
Josia Pietsch	fae60388ab	boundedness	2023-07-18 22:33:10 +02:00
Josia Pietsch	872cb3b0bb	some small changes	2023-07-07 17:42:38 +02:00