mathlib
b2ae1956
- move(data/fin/*): group `fin` files under a `fin` folder (#9524)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
move(data/fin/*): group `fin` files under a `fin` folder (#9524) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>
Author
YaelDillies
Parents
5c3cdd21
Loading