mathlib3
refactor(topology): drop `uniformity`
#14694
Open

refactor(topology): drop `uniformity` #14694

ADedecker wants to merge 1 commit into master from AD_remove_uniformity
ADedecker
ADedecker Test
2b559f90
eric-wieser
eric-wieser commented on 2022-06-12
kim-em kim-em added awaiting-author
kim-em kim-em added merge-conflict
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone