Do these two sentences from wikipedia have the same meaning?
Formula 11 , where the intersection of all normal subgroups runs from finite index .
Formula 11 , where the intersection runs through all finite subgroups of normal index .
no