mathlib
ff37fb8a - feat(algebra/ring): monoid structure on `R →+* R` (#2649)

Commit

6 years ago

feat(algebra/ring): monoid structure on `R →+* R` (#2649) Also add `comp_id` and `id_comp`

References

Author

urkud

Parents