[Merged by Bors] - feat(Algebra/MonoidAlgebra): add instances for Infinite and Countable and Small
#320156
Triggered via issue
August 21, 2026 22:11
mathlib-bors[bot]
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_merge.yml
on: issue_comment
Ping maintainers on Zulip
0s