Man pages matching name mpi_group_from_session_pset in section 3:

MPI_Group_from_session_pset.3.en

debian 12 / mpich-doc