6 Комити (bcdd21ae6cc71eb57a9464bc0ef5aa97ef719a49)

Аутор SHA1 Порука Датум
  salagne a8d317235c corrections пре 5 година
  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 година