Commit 90fb993
committed
comment on commutativity
1 parent 78f0576 commit 90fb993
1 file changed
+5
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2560 | 2560 | | |
2561 | 2561 | | |
2562 | 2562 | | |
| 2563 | + | |
| 2564 | + | |
| 2565 | + | |
| 2566 | + | |
| 2567 | + | |
2563 | 2568 | | |
2564 | 2569 | | |
2565 | 2570 | | |
| |||
0 commit comments