mathlib3
405c485b
- fix simp_nf lint
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
fix simp_nf lint
References
j-loreaux/weak-dual-explicit-argument
Author
j-loreaux
Parents
5cf2a346
Loading
