[chisquared]

> just banging out definitions and theorems

This is pretty standard for graduate-level math texts, though. That might say something about their intended audience.