Man pages matching name pbesparelm in section 1:

pbesparelm.1.en

debian 10 / mcrl2