He also didn't define eigenvalue in the theorem statement, but you don't seem to be criticizing that as bad style.

Part of the art of mathematical exposition is to walk the line between under and over explaining your process based on your audience.

If the intended audience is academic mathematicians or even just people with a math degree, then the notation is probably familiar. I imagine that's the target audience here.