[Merged by Bors] - feat: values of preAleph.symm#39713
Closed
vihdzp wants to merge 145 commits into
Closed
Commits
Commits on May 22, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- andcommitted
Commits on May 23, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
Commits on May 24, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![mathlib-nolints[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
Commits on May 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 26, 2026
- committed
- andcommitted
- andcommitted
- committed
- committed
- andcommitted
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
chore(CategoryTheory/Limits): fix name of `HasColimit.isoOfEquivalence_hom_π` and `reassoc` (#39817)
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 27, 2026
- committed
- committed
- andcommitted
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 28, 2026
- andauthored