Commit graph

10 commits

Author SHA1 Message Date
296c7b2f55
yaref 2023-07-28 03:45:37 +02:00
25e248c605
fixed typo 2023-07-20 22:28:31 +02:00
cef41f8c52
fixed typo 2023-07-19 21:05:44 +02:00
818a56947c
small changes 2023-07-19 00:45:32 +02:00
9cf7536921
summary 2023-07-18 23:58:27 +02:00
fae60388ab
boundedness 2023-07-18 22:33:10 +02:00
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
872cb3b0bb
some small changes 2023-07-07 17:42:38 +02:00