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`
-/