right, neg
#2234

Merged

feat(topology/metric_space/isometry): add_left/right, neg #2234

mergify merged 2 commits into master from isometry

feat(topology/metric_space/isometry): add_left/right, neg

5698c504

cipher1024 assigned

sgouezel 6 years ago

sgouezel approved these changes on 2020-03-25

sgouezel added ready-to-merge

Merge branch 'master' into isometry

d2fd71ad

mergify merged e04892ec into master 6 years ago

urkud deleted the isometry branch 6 years ago

Reviewers

sgouezel

Assignees

sgouezel

Labels

ready-to-merge

Milestone

No milestone