PR #1217 feat(linear_algebra/dim): findim equivalence

feat(linear_algebra/dim): findim equivalence #1217

mergify merged 4 commits into master from fin_dim_vectorspace_equiv

abentkamp requested a review 6 years ago

jcommelin commented on 2019-07-17

ChrisHughes24 commented on 2019-07-17

feat(linear_algebra/dim): findim equivalence

8b1b8467

feat(linear_algebra/dim): two versions of dim_fun

3bdedc6e

abentkamp force pushed from 23568fb5 to 56d3c37e 6 years ago

jcommelin commented on 2019-07-22

abentkamp force pushed from 56d3c37e to 9aa3f69c 6 years ago

feat(linear_algebra/dim): clean up

4639996a

abentkamp force pushed from 9aa3f69c to 4639996a 6 years ago

ChrisHughes24 added ready-to-merge

ChrisHughes24 approved these changes on 2019-07-22

Merge branch 'master' into fin_dim_vectorspace_equiv

271355b1

mergify merged a33315d5 into master 6 years ago

mergify deleted the fin_dim_vectorspace_equiv branch 6 years ago

Reviewers

ChrisHughes24

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone