[Merged by Bors] - feat: Matrices over finite free modules are finite modules #66761
Triggered via issue
October 24, 2024 01:49
mathlib4-dependent-issues-bot
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_merge_comment.yml
on: issue_comment
Ping maintainers on Zulip
0s