ByNobleID
    Explicit bounds for separation between Oseledets subspaces | NobleID