src/HOL/Analysis/Ball_Volume.thy
changeset 69517 dc20f278e8f3
parent 69064 5840724b1d71
child 69566 c41954ee87cf
     1.1 --- a/src/HOL/Analysis/Ball_Volume.thy	Thu Dec 27 23:38:55 2018 +0100
     1.2 +++ b/src/HOL/Analysis/Ball_Volume.thy	Fri Dec 28 10:29:59 2018 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4     Author:   Manuel Eberl, TU M√ľnchen
     1.5  *)
     1.6  
     1.7 -section \<open>The volume of an $n$-dimensional ball\<close>
     1.8 +section \<open>The Volume of an $n$-Dimensional Ball\<close>
     1.9  
    1.10  theory Ball_Volume
    1.11    imports Gamma_Function Lebesgue_Integral_Substitution