Definitionintro
Probability density function
A function whose integral over an interval gives the probability that a continuous random variable falls in that interval.
A function whose integral over an interval gives the probability that a continuous random variable falls in that interval.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag AH9E2G Edit this page History Report an error