Commit 2021-12-13 00:12 0c248b74
View on Github →feat(algebra/{group,ring}/opposite): {ring,monoid}_hom.from_opposite (#10723)
We already have the to_opposite versions.
feat(algebra/{group,ring}/opposite): {ring,monoid}_hom.from_opposite (#10723)
We already have the to_opposite versions.