>>[...] at least gave precise consistent definitions for basic terminology. Hopefully interactive proof assistants like Lean or Rocq will help to mitigate at l

>>[...] 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.