fix: locally imported lemmas not being tracked (or failure to publish when trying to link to those lemmas).

fix: locally imported lemmas not being tracked (or failure to publish when trying to link to those lemmas). #98