File tree
9 files changed
+19
-7
lines changed- FreydCategoriesForCAP
- gap
- CategoryOfGradedRowsAndColumns
9 files changed
+19
-7
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1375 | 1375 |
| |
1376 | 1376 |
| |
1377 | 1377 |
| |
| 1378 | + | |
1378 | 1379 |
| |
1379 | 1380 |
| |
1380 | 1381 |
| |
| |||
1387 | 1388 |
| |
1388 | 1389 |
| |
1389 | 1390 |
| |
1390 |
| - | |
1391 | 1391 |
| |
1392 | 1392 |
| |
1393 | 1393 |
| |
| |||
1406 | 1406 |
| |
1407 | 1407 |
| |
1408 | 1408 |
| |
1409 |
| - | |
1410 | 1409 |
| |
1411 | 1410 |
| |
1412 | 1411 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
223 | 223 |
| |
224 | 224 |
| |
225 | 225 |
| |
| 226 | + | |
226 | 227 |
| |
227 | 228 |
| |
228 | 229 |
| |
| |||
246 | 247 |
| |
247 | 248 |
| |
248 | 249 |
| |
| 250 | + | |
249 | 251 |
| |
250 | 252 |
| |
251 | 253 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
243 | 243 |
| |
244 | 244 |
| |
245 | 245 |
| |
| 246 | + | |
| 247 | + | |
246 | 248 |
| |
247 | 249 |
| |
248 | 250 |
| |
| |||
272 | 274 |
| |
273 | 275 |
| |
274 | 276 |
| |
275 |
| - | |
| 277 | + | |
276 | 278 |
| |
277 | 279 |
| |
278 | 280 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
163 | 163 |
| |
164 | 164 |
| |
165 | 165 |
| |
| 166 | + | |
| 167 | + | |
166 | 168 |
| |
167 | 169 |
| |
168 | 170 |
| |
| |||
184 | 186 |
| |
185 | 187 |
| |
186 | 188 |
| |
187 |
| - | |
| 189 | + | |
188 | 190 |
| |
189 | 191 |
| |
190 | 192 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1430 | 1430 |
| |
1431 | 1431 |
| |
1432 | 1432 |
| |
| 1433 | + | |
1433 | 1434 |
| |
1434 | 1435 |
| |
1435 | 1436 |
| |
| |||
1453 | 1454 |
| |
1454 | 1455 |
| |
1455 | 1456 |
| |
| 1457 | + | |
1456 | 1458 |
| |
1457 | 1459 |
| |
1458 | 1460 |
| |
| |||
1465 | 1467 |
| |
1466 | 1468 |
| |
1467 | 1469 |
| |
| 1470 | + | |
1468 | 1471 |
| |
1469 | 1472 |
| |
1470 | 1473 |
| |
| |||
1485 | 1488 |
| |
1486 | 1489 |
| |
1487 | 1490 |
| |
| 1491 | + | |
1488 | 1492 |
| |
1489 | 1493 |
| |
1490 | 1494 |
| |
| |||
1495 | 1499 |
| |
1496 | 1500 |
| |
1497 | 1501 |
| |
1498 |
| - | |
1499 | 1502 |
| |
1500 | 1503 |
| |
1501 | 1504 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
143 | 143 |
| |
144 | 144 |
| |
145 | 145 |
| |
| 146 | + | |
146 | 147 |
| |
147 | 148 |
| |
148 | 149 |
| |
| |||
188 | 189 |
| |
189 | 190 |
| |
190 | 191 |
| |
| 192 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
729 | 729 |
| |
730 | 730 |
| |
731 | 731 |
| |
| 732 | + | |
732 | 733 |
| |
733 | 734 |
| |
734 | 735 |
| |
| |||
757 | 758 |
| |
758 | 759 |
| |
759 | 760 |
| |
| 761 | + | |
760 | 762 |
| |
761 | 763 |
| |
762 | 764 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1972 | 1972 |
| |
1973 | 1973 |
| |
1974 | 1974 |
| |
| 1975 | + | |
1975 | 1976 |
| |
1976 | 1977 |
| |
1977 | 1978 |
| |
| |||
2045 | 2046 |
| |
2046 | 2047 |
| |
2047 | 2048 |
| |
2048 |
| - | |
2049 | 2049 |
| |
2050 | 2050 |
| |
2051 | 2051 |
| |
|
0 commit comments