mathlib3
0d659de3
- feat(algebra/module/torsion): `R/I`-module structure on `M/IM`. (#15092)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(algebra/module/torsion): `R/I`-module structure on `M/IM`. (#15092)
Author
erdOne
Parents
fef5124e
Loading
mathlib3
0d659de3 - feat(algebra/module/torsion): `R/I`-module structure on `M/IM`. (#15092)
