Upper and lower case branch jt496_brooks

Stream: mathlib4

[Sébastien Gouëzel]

@John Talbot , there are currently two mathlib branches jt496_brooks and jt496_Brooks. They only differ by case, which confuses case-insensitive systems (notably windows). Could you delete or rename one of the two branches, please? Thanks!

[John Talbot]

Done!

[Sébastien Gouëzel]

Thanks a lot!