mathlib
d4735176 - chore(algebra/group/hom): add `monoid_hom.eval` (#4629)

Commit

5 years ago

chore(algebra/group/hom): add `monoid_hom.eval` (#4629)

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading