Commit 2dd08da
committed
Add cowrite as another word in the write family of lemmas
1 parent 9b5bec8 commit 2dd08da
2 files changed
+69762
-69720
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
669 | 669 | | |
670 | 670 | | |
671 | 671 | | |
| 672 | + | |
| 673 | + | |
672 | 674 | | |
673 | 675 | | |
674 | 676 | | |
| |||
0 commit comments