Naming of `n` in lemmas about `a ≡ b [MOD n]`

Stream: mathlib4

[Yury G. Kudryashov]

In #29072, I'm adding a bunch of lemmas about docs#Nat.ModEq. E.g., one of the lemmas say that a + n ≡ b [MOD n] iff a ≡ b [MOD n]. When I was writing this file for Harmonic, I used self for n in these lemmas, but this may not be a good choice for Mathlib. @Eric Wieser suggests n or period. Any other suggesions?

[Kevin Buzzard]

base?

[Kevin Buzzard]

moddand :-)

[Kevin Buzzard]

modulus?

[Yury G. Kudryashov]

/poll How should we call n in these lemmas?
self
n
period
base
moddand
modulus