mathlib3

feat(topology/dense_embedding): dense_range.equalizer

#1785

Merged