Man pages matching name lpsinvelm in section 1:

lpsinvelm.1.en

debian 10 / mcrl2