mathlib3
46911598
- doc(algebra/group/hom_instances): Fix spellings (#11943)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
doc(algebra/group/hom_instances): Fix spellings (#11943) Fixes spelling mistakes introduced by #11843
Author
mans0954
Parents
352e0642
Loading