How do I efficiently filter a long list in SwiftUI?

Question

I\'ve been writing my first SwiftUI application, which manages a book collection. It has a List of around 3,000 items, which loads and scrolls pretty efficiently. I