mathlib3
fix(category_theory/equivalence): duplicated namespace prefix
#669

Merged

fix(category_theory/equivalence): duplicated namespace prefix #669

rwbarton merged 1 commit into master from equivalence-namespace

fix(category_theory/equivalence): duplicated namespace prefix

8a9734c9

cipher1024 assigned

rwbarton 6 years ago

rwbarton merged b084cfcd into master 6 years ago

kim-em deleted the equivalence-namespace branch 6 years ago

Reviewers

No reviews

Assignees

rwbarton

Labels

None yet

Milestone

No milestone