In Chrome, you should be able to make the extension icon visible by clicking the extensions (jigsaw piece) icon near the top right of your browser window, and making sure the Lean Library extension is pinned:
In Chrome, you should be able to make the extension icon visible by clicking the extensions (jigsaw piece) icon near the top right of your browser window, and making sure the Lean Library extension is pinned: