Question about mathlib4 naming convention

Stream: mathlib4

[Shaonan Wu]

Dear all,
I' m a new user of Lean4 and Mathlib4. I am eager to learn more about Mathlib 4's naming convention for theorems and definitions, as it will help me quickly locate the theorems I need. Are there any documents available on this topic? Alternatively, I would greatly appreciate it if you could share your own experiences.
Thank you ！

[Eric Wieser]

#naming is a good place to start

[Shaonan Wu]

Eric Wieser said:

#naming is a good place to start

Thank you! It really helps. What do you think is the best approach for newcomers, who are not majoring in math, to learn and utilize Mathlib4?