5 Ревизии (b56e701fde26f4dfe4b72a3660ec330ba28a97e2)

Автор SHA1 Съобщение Дата
  salagne db3a08596e minor corrctions, added ref to spektralsatz преди 5 години
  flavis 04bdda2272 add ana8, one proof in ana7 and replace epsilon with varepsilon globally преди 5 години
  salagne 8807cb163c correction corrected преди 5 години
  salagne 81e1cc2368 minor corrections преди 5 години
  JosuaKugler 52281b1525 ana7 done, fixed all bad breaks and overfull boxes преди 5 години