mathlib3
fix(topology/algebra/group_completion): remove redundant instance parameters
#1543
Merged
Merged
fix(topology/algebra/group_completion): remove redundant instance parameters #1543
mergify
merged
2 commits into
master
from
rwbarton-fix-group-completion
fix(topology/algebra/group_completion): remove redundant instance par…
19c23d0f
jcommelin
approved these changes
on 2019-10-12
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into rwbarton-fix-group-completion
f694ff5c
Login to write a write a comment.
Login via GitHub