Man pages matching name getablexprmin in section 3:

getablexprmin.3.en

debian 10 / alliance