3 Ревизии (f929db6df0494bc3446ed6d4282763aa7f63f3c9)

Автор SHA1 Съобщение Дата
  Christian Merten f929db6df0
rav: update lecture преди 3 години
  Christian Merten 94e329d376
rav: add new lecture, reorder some lemmas преди 3 години
  Christian Merten 2b4c8ec637
rav: update lec 17, add lec 19 преди 3 години