Commit 2022-02-21 11:38 37019db9
View on Github →feat(topology/algebra/{group,monoid}): nat and int scalar multiplication is continuous (#12124)
These instances allow a diamond to appear in the scalar action on continuous_affine_maps, which we fix at the same time.