mathlib3
26310e71 - feat(algebra/*): a sample of easy useful lemmas (#13696)

Commit

3 years ago

feat(algebra/*): a sample of easy useful lemmas (#13696) Lemmas needed for #13690

Author

sgouezel

Parents