spectrum): split file
#19161

Closed

[Merged by Bors] - chore(algebra/algebra/spectrum): split file #19161

j-loreaux wants to merge 1 commit into master from j-loreaux/spectrum-split

chore(algebra/algebra/spectrum): split file

1ba5e748

j-loreaux added awaiting-review

j-loreaux added awaiting-CI

j-loreaux requested a review 3 years ago

github-actions added delegated

github-actions removed awaiting-review

github-actions removed awaiting-CI

bors changed the title ~~chore(algebra/algebra/spectrum): split file~~ [Merged by Bors] - chore(algebra/algebra/spectrum): split file 3 years ago

bors closed this 3 years ago

bors deleted the j-loreaux/spectrum-split branch 3 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

delegated

Milestone

No milestone