mathlib
995add3a
- fix(topology/algebra/group_completion): remove redundant instance parameters (#1543)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix(topology/algebra/group_completion): remove redundant instance parameters (#1543)
References
#1543 - fix(topology/algebra/group_completion): remove redundant instance parameters
Author
rwbarton
Committer
mergify[bot]
Parents
76090bee
Loading