mathlib
a948e313
- chore(analysis/convex): move to `analysis/convex/basic` (#1918)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
chore(analysis/convex): move to `analysis/convex/basic` (#1918) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
References
#1918 - chore(analysis/convex): move to `analysis/convex/basic`
Author
urkud
Committer
mergify[bot]
Parents
e36d7ecc
Loading