MPI_Comm_size.openmpi(3) on Linux

The text 59b95e092ac6, as Debian 10 (Buster) shipped it.

Returns the size of the group associated with a communicator.

MPI_Comm_size.openmpi(3) on Linux now