import Covstream.FrobeniusBasic
import Covstream.ShrinkageOptimization

/-!
Backward-compatible umbrella import for the Frobenius / optimization layer.

The implementation is split into:

* `Covstream.FrobeniusBasic`
  Basic matrix arithmetic and Frobenius identities.
* `Covstream.ShrinkageOptimization`
  Quadratic loss formulas and oracle coefficient theorems.
-/
