ennreal): continuity of multiplication by const
#1905

Merged

feat(topology/instances/ennreal): continuity of multiplication by const #1905

mergify merged 3 commits into master from ennreal-mul-continuous

feat(topology/instances/ennreal): continuity of multiplication by const

49d71a68

urkud added awaiting-review

Fix compile

b8f63365

jcommelin commented on 2020-01-25

sgouezel removed awaiting-review

sgouezel added ready-to-merge

sgouezel approved these changes on 2020-01-25

Merge branch 'master' into ennreal-mul-continuous

214f2037

mergify merged 8c9a15eb into master 6 years ago

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

Reviewers

sgouezel

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone