mathlib

37019db9 - feat(topology/algebra/{group,monoid}): nat and int scalar multiplication is continuous (#12124)

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_map`s, which we fix at the same time.