Regardless of the distribution of the initial population distribution, as long as we take a sample of size n>30 from the population, and form a sampling distribution with repeated sampling m times:
1) It will be normal.
2) It will share the same mean as the population mean.
3) It will have less variance (σ2/n) than the population variance by a factor of n.
Is this definition correct? So the repeated sampling of m times is not important. Rather its the sample size n that's important?