feat(ModelTheory): quantifier elimination from elementary extension p…#10
Open
iosephusferrum wants to merge 452 commits into
Open
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Jun 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
![mathlib-update-dependencies[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
Commits on Jun 26, 2026
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- andcommitted
- committed
- andcommitted
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
Commits on Jun 27, 2026
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
Commits on Jun 28, 2026
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 29, 2026
- andcommitted
- committed
- andcommitted
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
Commits on Jun 30, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
feat(MeasureTheory/MeasurableSpace/Constructions): add MeasurableSpace (Finset _) structure (#41062)
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
Commits on Jul 1, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- andcommitted
- committed
- committed
- committed
- committed
feat(CategoryTheory/Triangulated/WeakKernels): pretriangulated categories have weak kernels (#41162)
committed- committed
- andcommitted
- committed
- committed
- andcommitted
- committed
- committed
- committed
- andcommitted
Commits on Jul 2, 2026
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
Commits on Jul 3, 2026
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
refactor(NumberTheory/NumberField/ExistsRamified): extract `Algebra.IsUnramifiedIn` version (#41323)
committed- andcommitted
- committed
- committed
- committed
- committed
feat(Data/ZMod/QuotientRing): add an apply version for the single component of crt for zmod (#40972)
committed- committed
