Conditional multivariate normal distribution (source code)

= Conditional multivariate normal distribution

Conditioning one block of a jointly Gaussian vector on another gives a Gaussian law with linear mean and Schur-complement covariance.