naming is off in `limit_point_infinite_setP`

[affeldt-aist]

analysis/theories/normedtype_theory/normed_module.v

Line 1043 in 1edbf7c

pose a_ (x : elt_type) := (proj1_sig x).2.

should be r_, TODO: check the whole script