Corneal mathematical mirror
You are basically right. Convex lens imaging, the object distance has changed, so the light screen must be adjusted to re-image Because of the distance and focal length, the three must be related. If the eye can also be equivalent to a light screen, it can be imaged directly, but the distance from the eye to the lens can be changed at will. The reason is that there is a huge difference between eyes and light screens. Because light is just a plane, the eye is an organic imaging device. It is equivalent to having a convex lens with adjustable focal length, which is what we call a lens, and a light screen that can accept images, which is the retina. So when refracted light enters the eye, the lens can adjust its focal length. Look at the retina.