mathlib3
3dad7c8c
- chore(algebra/ring/comp_typeclasses): fix doctrings (#11150)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
chore(algebra/ring/comp_typeclasses): fix doctrings (#11150) This fixes the docstrings of two typeclasses.
Author
dupuisf
Parents
682f1e63
Loading