WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Average

Revision #2930 → #3422 · back to history

modifiedMedian7130342c86a8
FieldFrom #2930To #3422
noteNo `median` of a finite list/multiset is defined anywhere in `Mathlib/`.No statistical `median` of a finite list/multiset is defined in `Mathlib/` (the only `median` there is the geometric simplex median in `Mathlib.LinearAlgebra.AffineSpace.Simplex.Centroid`).
addedGeometric mean9030978461c3
addedCentral tendencyd37fd5993a55