naming convention: Nat.card

Stream: mathlib4

[Ruben Van de Velde]

In theorem names, should we refer to Nat.card as nat_card or natCard? We seem to have both

[Eric Wieser]

See also nat_cast vs natCast, for which we have a whole thread with some polls which need more votes