mathlib
c2a59f2b
- first commit
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
first commit
References
#17010 - feat(src/ring_theory/is_tensor_product): Base change along a surjection.
Author
erdOne
Parents
5d7ab6e9
Loading
