Skip to content

Commit ec94c00

Browse files
committed
cleanup
1 parent e6d59b2 commit ec94c00

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

blueprint/src/content.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010

1111

1212
\begin{remark}
13-
This document omits basic intuitive definitions, such as the comparison or arithmetic operations on random variables. Arithmetic operations on random variables are performed element-wise for each element of the sample set. Please see the Lean file for complete details.
13+
This document omits basic definitions, such as the comparison or arithmetic operations on random variables. Arithmetic operations on random variables are performed element-wise for each element of the sample set. Please see the Lean file for complete details.
1414
\end{remark}
1515

1616

0 commit comments

Comments
 (0)