ByNobleID
    Compact linear mappings between interpolation spaces | NobleID