[Quitschquat]

Is this like setf in lisp?

[eigenspace]

In the simplest case, yes, but in general no, lenses are more general