invertible): more results about invertible matrices
#19204

Closed

[Merged by Bors] - refactor(data/matrix/invertible): more results about invertible matrices #19204

eric-wieser wants to merge 1 commit into master from eric-wieser/matrix-invertible

refactor(data/matrix/invertible): more results about invertible matrices

86c366e8

eric-wieser added awaiting-review

eric-wieser added awaiting-CI

eric-wieser added wait-requested-on

github-actions added modifies-synchronized-file

eric-wieser commented on 2023-06-19

github-actions added ready-to-merge

github-actions removed awaiting-review

eric-wieser requested a review from

Vierkantor 2 years ago

github-actions removed awaiting-CI

github-actions added delegated

bors changed the title ~~refactor(data/matrix/invertible): more results about invertible matrices~~ [Merged by Bors] - refactor(data/matrix/invertible): more results about invertible matrices 2 years ago

bors closed this 2 years ago

bors deleted the eric-wieser/matrix-invertible branch 2 years ago

Reviewers

Vierkantor

Assignees

No one assigned

Labels

ready-to-merge delegated modifies-synchronized-file wait-requested-on

Milestone

No milestone

mathlib3 [Merged by Bors] - refactor(data/matrix/invertible): more results about invertible matrices #19204 Closed

[Merged by Bors] - refactor(data/matrix/invertible): more results about invertible matrices #19204

mathlib3
[Merged by Bors] - refactor(data/matrix/invertible): more results about invertible matrices
#19204

Closed