PR #2296 chore(algebra/module): cleanup `is_linear_map`

chore(algebra/module): cleanup `is_linear_map` #2296

mergify merged 3 commits into master from is-linear-map

chore(algebra/module): clean of `is_linear_map`

3adf182c

urkud changed the title ~~chore(algebra/module): clean of `is_linear_map`~~ chore(algebra/module): cleanup `is_linear_map` 5 years ago

urkud added awaiting-review

jcommelin approved these changes on 2020-03-31

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into is-linear-map

4c015c84

Merge branch 'master' into is-linear-map

95f99d40

mergify merged 003141c8 into master 5 years ago

urkud deleted the is-linear-map branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone