updated index pages

The index pages were updated with the recently added proofs/definitions.

Author: JoramSoch

I/PbA.md

@@ -8,7 +8,7 @@ title: "Proof by Author"
 
 - [Covariance matrix of the multinomial distribution](/P/mult-cov)
 
-### JoramSoch (313 proofs)
+### JoramSoch (315 proofs)
 
 - [Accuracy and complexity for the univariate Gaussian](/P/ug-anc)
 - [Accuracy and complexity for the univariate Gaussian with known variance](/P/ugkv-anc)
@@ -186,6 +186,7 @@ title: "Proof by Author"
 - [Non-negativity of the Shannon entropy](/P/ent-nonneg)
 - [Non-negativity of the variance](/P/var-nonneg)
 - [Non-symmetry of the Kullback-Leibler divergence](/P/kl-nonsymm)
+- [Normal distribution is a special case of multivariate normal distribution](/P/norm-snorm)
 - [Normal distribution maximizes differential entropy for fixed variance](/P/norm-maxent)
 - [Normal-gamma distribution is a special case of normal-Wishart distribution](/P/ng-nw)
 - [One-sample t-test for independent observations](/P/ug-ttest1)
@@ -299,6 +300,7 @@ title: "Proof by Author"
 - [Second central moment is variance](/P/momcent-2nd)
 - [Simple linear regression is a special case of multiple linear regression](/P/slr-mlr)
 - [Sums of squares for simple linear regression](/P/slr-sss)
+- [t-distribution is a special case of multivariate t-distribution](/P/t-mvt)
 - [The p-value follows a uniform distribution under the null hypothesis](/P/pval-h0)
 - [The regression line goes through the center of mass point](/P/slr-comp)
 - [The residuals and the covariate are uncorrelated in simple linear regression](/P/slr-rescorr)

I/PbN.md

@@ -336,3 +336,5 @@ title: "Proof by Number"
 | P328 | gam-wish | [Gamma distribution is a special case of Wishart distribution](/P/gam-wish) | JoramSoch | 2022-07-14 |
 | P329 | mlr-glm | [Multiple linear regression is a special case of the general linear model](/P/mlr-glm) | JoramSoch | 2022-07-21 |
 | P330 | mvn-matn | [Multivariate normal distribution is a special case of matrix-normal distribution](/P/mvn-matn) | JoramSoch | 2022-07-31 |
+| P331 | norm-snorm | [Normal distribution is a special case of multivariate normal distribution](/P/norm-snorm) | JoramSoch | 2022-08-19 |
+| P332 | t-mvt | [t-distribution is a special case of multivariate t-distribution](/P/t-mvt) | JoramSoch | 2022-08-25 |

I/PbT.md

@@ -228,6 +228,7 @@ title: "Proof by Topic"
 - [Non-negativity of the Shannon entropy](/P/ent-nonneg)
 - [Non-negativity of the variance](/P/var-nonneg)
 - [Non-symmetry of the Kullback-Leibler divergence](/P/kl-nonsymm)
+- [Normal distribution is a special case of multivariate normal distribution](/P/norm-snorm)
 - [Normal distribution maximizes differential entropy for fixed variance](/P/norm-maxent)
 - [Normal-gamma distribution is a special case of normal-Wishart distribution](/P/ng-nw)
 
@@ -364,6 +365,7 @@ title: "Proof by Topic"
 
 ### T
 
+- [t-distribution is a special case of multivariate t-distribution](/P/t-mvt)
 - [The p-value follows a uniform distribution under the null hypothesis](/P/pval-h0)
 - [The regression line goes through the center of mass point](/P/slr-comp)
 - [The residuals and the covariate are uncorrelated in simple linear regression](/P/slr-rescorr)

I/PwS.md

@@ -65,7 +65,6 @@ title: "Proofs without Source"
 - [Mode of the continuous uniform distribution](/P/cuni-med)
 - [Mode of the exponential distribution](/P/exp-mode)
 - [Mode of the normal distribution](/P/norm-mode)
-- [Multivariate normal distribution is a special case of matrix-normal distribution](/P/mvn-matn)
 - [Necessary and sufficient condition for independence of multivariate normal random variables](/P/mvn-ind)
 - [Normal-gamma distribution is a special case of normal-Wishart distribution](/P/ng-nw)
 - [Ordinary least squares for simple linear regression](/P/slr-ols2)