Vinzent Steinberg 77fa8b4ed2 Remove inferior estimate of error of weighted average
It was a biased estimator, while the alternative one isn't.
2017-05-22 13:24:57 +02:00
..
2017-05-19 15:54:13 +02:00