`ereal_nondecreasing_cvg` -> `ereal_nondecreasing_cvgn`

[affeldt-aist]

analysis/theories/sequences.v

Line 1462 in 9fbd7cd

Lemma ereal_nondecreasing_cvg (R : realType) (u_ : (\bar R)^nat) :

wouldn't is be better to rename
ereal_nondecreasing_cvg -> ereal_nondecreasing_cvgn
to make room for a forthcoming
ereal_nondecreasing_cvgr?

and to following the naming convention, ereal_nondecreasing_cvg could maybe be renamed nondecreasing_cvge