Commit 2022-12-23 13:50 71723d8b

chore: fix casing per naming scheme (#1183) Fix a lot of wrong casing mostly in the docstrings but also sometimes in def/theorem names. E.g. fin 2 --> Fin 2, add_monoid_hom --> AddMonoidHom Remove \n from to_additive docstrings that were inserted by mathport. Move files and directories with Gcd and Smul to GCD and SMul