@lcamtuflcamtuf I agree, and this disagrees. Like yes, many math names are "creative" instead of informative - terrible.

As a student, these terms scared me; made it difficult to discuss math (my memory for random names is bad).

As a lecturer, I encouraged students to avoid using names of theorems; instead use a descriptive name.

However, as someone who wrote math, it's hard to write clearly & avoid using obtuse terminology. You find yourself defining so many things that it happens naturally..