aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-06-29Zmiana struktury, teraz osobne pliki na każdą sekcjęFranciszek Malinka
2022-06-29Kanoniczna amalgamacja już prawie gotowa!Franciszek Malinka
2022-06-28Teoria kategorii, kanoniczna amalgamacjaFranciszek Malinka
2022-06-28Nowe rzeczy, wstep do teorii kategoriiFranciszek Malinka
2022-05-29Kluczowy dowod uogolniony!Franciszek Malinka
2022-05-08More general proposition 3.18Franciszek Malinka
2022-05-03poprawki do kluczowego dowoduFranciszek Malinka
2022-05-03Permutacje komizernoscFranciszek Malinka
2022-04-21Editorial correctionsFranciszek Malinka
2022-04-21Removed a todoFranciszek Malinka
2022-04-21AspellFranciszek Malinka
2022-04-21Main proof maybe finishedFranciszek Malinka
2022-04-20Main proofFranciszek Malinka
2022-03-28dokonczony dowodFranciszek Malinka
2022-03-28Update, wip ostryFranciszek Malinka
2022-03-27Zaczątki klasy fraissego dla grafow z automorfizmemFranciszek Malinka
2022-03-26Zmiana kolejności małaFranciszek Malinka
2022-03-26Troche o grafie losowymFranciszek Malinka
2022-03-19Definicje wkolo freissegoFranciszek Malinka
2022-02-16Corollary 2.15Franciszek Malinka
2022-02-15Poprawa usterki faktuFranciszek Malinka
2022-02-15Poprawki banacha mazuraFranciszek Malinka
2022-02-09Poprawki do dowoduFranciszek Malinka
2022-02-09Dowód o grzebana chamazuraFranciszek Malinka
2022-02-09Gitignore, żeby nie było latexowych śmieciFranciszek Malinka
2022-02-09pierwsza strona, pora na spacerFranciszek Malinka
2022-01-13Wstępny szkielet pracy.Franciszek Malinka
2022-01-13Initial commitFranciszek Malinka