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

Diff — Student's t-distribution

Revision #2962 → #3534 · back to history

modifiedStudent's t distribution77f264fe7787
FieldFrom #2962To #3534
noteNo Student's t-distribution declaration is present in Mathlib (grep for StudentT/tDistribution under Mathlib/Probability/Distributions returned nothing).No Student's t-distribution declaration is present in Mathlib (grep for StudentT/tDistribution under Mathlib returned nothing).
addedZ is standard normal component of the t-ratiof7ada85d3ee6
addedUnbiased sample variance74419a21e438