Man pages matching name tetrahedron in section 7rheolef:

tetrahedron.7rheolef.en

debian 10 / librheolef-dev