import Covstream.FrobeniusLoss
import Covstream.Contract
import Covstream.ErrorBounds
import Covstream.Examples

/-!
Backward-compatible umbrella import.

Readers should usually start from `Covstream.lean` or the
individual modules below. This file exists so older imports still work.

The core development lives in:

* `Covstream.Welford`
* `Covstream.LedoitWolf`
* `Covstream.FrobeniusLoss`
* `Covstream.Contract`
* `Covstream.ErrorBounds`
* `Covstream.Examples`
-/
