mathlib
6cf3d040
- fix(algebra/group/hom): Fix spurrious arguments (#1581)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix(algebra/group/hom): Fix spurrious arguments (#1581) This bug was introduced in eb230d3b48f4da49b
References
#1581 - fix(algebra/group/hom): Fix extraneous arguments
Author
PatrickMassot
Committer
mergify[bot]
Parents
f19dbf29
Loading