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

Merged

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

mergify merged 3 commits into master from dense-range-equalizer

feat(topology/dense_embedding): dense_range.equalizer

46a86fa7

PatrickMassot commented on 2019-12-06

Fix docstring

21afd95b

PatrickMassot added ready-to-merge

PatrickMassot approved these changes on 2019-12-06

Merge branch 'master' into dense-range-equalizer

47dc01df

mergify merged 70841824 into master 6 years ago

mergify deleted the dense-range-equalizer branch 6 years ago

Reviewers

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone