mathlib
c8cdf2f3
- first commit
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
first commit
References
#17198 - feat(ring_theory/derivation): The differential module under base change.
Author
erdOne
Committer
erdOne
Parents
d240ffbd
Loading
