Commit 2021-04-19 09:07 fc5e8cb0
View on Github →chore(algebra/group): missed generalizations to mul_one_class (#7259)
This adds a missing ulift instance, relaxes some lemmas about semiconj and commute to apply more generally, and broadens the scope of the definitions monoid_hom.apply and ulift.mul_equiv.