This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(algebra/module/zlattice): prove some results about Z-lattices#18266
Closed
xroblot wants to merge 90 commits intomasterfrom xfr-zlattices
+251
Commits
Commits on Mar 6, 2023
- 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
Commits on Mar 7, 2023
- committed
- committed
- committed
Merge branch 'xfr-normed_lattice_field' of https://github.com/leanprover-community/mathlib into xfr-zlattices
committed- committed
Commits on Mar 8, 2023
- committed
- committed
- committed
Commits on Apr 2, 2023
Commits on Apr 15, 2023
Commits on Apr 16, 2023
- committed
Commits on Apr 17, 2023
Commits on Apr 19, 2023
- committed
- committed
Merge branch 'xfr-basis_restrict_scalars' of https://github.com/leanprover-community/mathlib into xfr-zlattices
committed- committed
Merge branch 'master' of https://github.com/leanprover-community/mathlib into xfr-normed_lattice_field
committed- committed
Merge branch 'xfr-normed_lattice_field' of https://github.com/leanprover-community/mathlib into xfr-zlattices
committed- committed
- committed
Commits on Apr 20, 2023
- committed
- committed
Commits on Apr 26, 2023
- committed
- committed
- committed
- committed
Commits on May 2, 2023
Commits on May 3, 2023
Commits on May 5, 2023
- committed
Merge branch 'xfr-normed_lattice_field' of https://github.com/leanprover-community/mathlib into xfr-zlattices
committed- committed
- committed
- committed
Commits on May 11, 2023
Commits on May 13, 2023
- committed
Commits on May 24, 2023
Commits on Jun 2, 2023
Commits on Jun 8, 2023
Commits on Jun 9, 2023
- committed
- committed
- committed
- committed
- committed
- committed