mathlib3
6587e840
- feat(algebra/algebra/subalgebra): subalgebras, when seen as submodules, are idempotent (#4854)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
feat(algebra/algebra/subalgebra): subalgebras, when seen as submodules, are idempotent (#4854)
References
#4925 - Make prime-avoidance branch build
Author
laughinggas
Parents
0aa6aed9
Loading