naming convention check

Stream: mathlib4

[Arien Malec]

Do all of my theorems now in the form is_smul_regular_foo want to be isSMulRegular_foo in mathlib4#1154?

I mean, I wrote the current wiki language for naming, so I should understand what it means, but not always. I think the language argues for isSMulRegular_foo.

[Thomas Murrills]

Makes sense to me—UpperCamelCase name referenced in lower_snake_case name as lowerCamelCase!