Revision #1806 → #2317 · back to history
d32624662f30| Field | From #1806 | To #2317 |
|---|---|---|
| anchor.id | d32624662f30 | — |
| anchor.provenance | ai | — |
| anchor.snippet | The two-sample Hotelling's T-squared test is not formalized in Mathlib. | For a two-sample multivariate test, the hypothesis is that the mean vectors |
| provenance | ai | ai-moderated |
90093b70a67d7d82b650488110603e5321a3