right
#1065

Merged

chore(topology/algebra/monoid): continuous_mul_left/right #1065

mergify merged 2 commits into master from continuous-mul-left

jcommelin requested a review 6 years ago

chore(topology/algebra/monoid): continuous_mul_left/right

6b725cb9

sgouezel approved these changes on 2019-05-20

sgouezel added ready-to-merge

Merge branch 'master' into 'continuous-mul-left'

e9478129

mergify merged 8cf7c4c8 into master 6 years ago

mergify deleted the continuous-mul-left branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone