Man pages matching name lpssumelm in section 1:

lpssumelm.1.en

debian 10 / mcrl2