Man pages matching name tetrahedron in section 6rheolef:

tetrahedron.6rheolef.en	debian 11 / librheolef-dev
tetrahedron.6rheolef.en	debian 12 / librheolef-dev