photographic projection lens

A lens used to project an image onto photographic film.