Comment by otoburb

>>[...] at least gave precise consistent definitions for basic terminology.

Hopefully interactive proof assistants like Lean or Rocq will help to mitigate at least this issue for anybody trying to learn a new (sub)field of mathematics.