WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Student's t-distribution

Revision #1804 → #2313 · back to history

modifiedStudent's t distribution77f264fe7787
FieldFrom #1804To #2313
noteNo Student's t-distribution declaration is present in Mathlib (no StudentT/tDistribution under Mathlib/Probability/Distributions).No Student's t-distribution declaration is present in Mathlib (grep for StudentT/tDistribution under Mathlib/Probability/Distributions returned nothing).
addedNoncentral t-distribution is asymmetric5153562a0008