changeset 62174 | fae6233c5f37 |
parent 62055 | 755fda743c49 |
child 62390 | 842917225d56 |
--- a/src/HOL/Multivariate_Analysis/Integral_Test.thy Wed Jan 13 21:44:26 2016 +0100 +++ b/src/HOL/Multivariate_Analysis/Integral_Test.thy Wed Jan 13 23:02:28 2016 +0100 @@ -15,7 +15,7 @@ As a useful side result, we also provide some results on the difference between the integral and the partial sum. (This is useful e.g. for the definition of the - Euler–Mascheroni constant) + Euler-Mascheroni constant) \<close> (* TODO: continuous_in \<rightarrow> integrable_on *)