diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-17 14:17:50 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-17 14:17:50 +0200 |
| commit | 1b211afb3945470eb40c7babb0b26349cec4fbf8 (patch) | |
| tree | 58d3ad5ab199e750380d795eebc925a0f7c77a8d /uwagi_29_06_22.txt | |
| parent | 870c1cc6af2aa0ecba10e9d5d5ba5034f589e0b9 (diff) | |
| parent | 2b830cb2d9c2237fcb7809bab7c64966098ea6fb (diff) | |
Merged
Diffstat (limited to 'uwagi_29_06_22.txt')
| -rw-r--r-- | uwagi_29_06_22.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/uwagi_29_06_22.txt b/uwagi_29_06_22.txt index 805fb21..0f1ef2c 100644 --- a/uwagi_29_06_22.txt +++ b/uwagi_29_06_22.txt @@ -144,7 +144,7 @@ n and without the loss of generality we may assume that - [x] Po 4.4 powinien być wniosek, że kanoniczna amalgamacja+whp dają konkluzję 4.4, a potem z tego, że wolna amalgamacja daje 4.4
-- [ ] W sekcji 4.3 brakuje założeń.
+- [x] W sekcji 4.3 brakuje założeń.
- [x] Jak przekształcenie naturalne jest izomorfizmem, to ten składowe też są izomorfizmami (w dwie strony)
@@ -156,7 +156,7 @@ n and without the loss of generality we may assume that - [x] Dodać uwagę, że jak piszę (\Pi, \sigma) to chodzi mi o co innego niż jak piszę \Pi
-- [ ] "Odmętnić" początek dowódu 3.23
+- [x] "Odmętnić" początek dowódu 3.23
- [x] Poprawić wielkości liter przy theorem, facts itd
|