mathlib

1b864c0d - feat(analysis/normed_group): quotients (#7603)

feat(analysis/normed_group): quotients (#7603) From LTE. Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com> Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>