Joint distribution function (source code)

= Joint distribution function

The joint distribution function is $F(x,y)=P(X\le x,Y\le y)$; mixed differentiation gives a joint density when sufficiently smooth.