SEARCHING FOR: mul_2exp_gmp
Couldn't found manual page under category: 4