mathlib
d571683f
- fix from bad merge
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
fix from bad merge
References
j-loreaux/non-unital-normed-comm-ring
Author
j-loreaux
Parents
c8f19178
Loading
