mathlib

70841824 - feat(topology/dense_embedding): dense_range.equalizer (#1785)

feat(topology/dense_embedding): dense_range.equalizer (#1785) * feat(topology/dense_embedding): dense_range.equalizer Two continuous functions to a t2-space that agree on a dense set are equal. * Fix docstring