mathlib3
refactor(topology): drop `uniformity`
#14694
Open
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
refactor(topology): drop `uniformity`
#14694
ADedecker
wants to merge 1 commit into
master
from
AD_remove_uniformity
Test
2b559f90
eric-wieser
commented on 2022-06-12
kim-em
added
awaiting-author
kim-em
added
merge-conflict
kim-em
added
too-late
Login to write a write a comment.
Login via GitHub
Reviewers
eric-wieser
Assignees
No one assigned
Labels
awaiting-author
merge-conflict
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub