Skip to content

Commit b968d27

Browse files
committed
refactor(paper.design.concepts.arithmetic): add missing 'other'
1 parent 49e4ea0 commit b968d27

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

number_concepts/paper-design.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@
9797
The mapping is left unspecified, so the result isn't over-constrained.
9898

9999
\pnum
100-
The operations required by refinements of \cname{number} are specified similarly.
100+
The operations required by other refinements of \cname{number} are specified similarly.
101101

102102
\rSec2[paper.design.concepts.terse]{Terse syntax}
103103

0 commit comments

Comments
 (0)