Commit 2020-10-13 14:02 ca6af1c4

View on Github →

chore(algebra/monoid_algebra): Replace algebra_map' with single_(zero|one)_ring_hom (#4582) algebra_map' is now trivially equal to single_(zero|one)_ring_hom.comp, so is no longer needed.

Estimated changes