Commit 2024-08-13 13:38 2ea5e248

View on Github →

chore: backports from nightly-testing-2024-08-12 (#15756)

Estimated changes

Modified Cache/Hashing.lean

Modified Cache/IO.lean

Modified Mathlib/Analysis/BoundedVariation.lean

Modified Mathlib/Analysis/BoxIntegral/Partition/Filter.lean

Modified Mathlib/CategoryTheory/Limits/Shapes/Countable.lean

Modified Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean

Modified Mathlib/LinearAlgebra/Pi.lean

modified def LinearMap.lsum

Modified Mathlib/RingTheory/Coprime/Lemmas.lean

Modified Mathlib/RingTheory/Localization/Basic.lean

modified theorem IsLocalization.map_units_map_submonoid

Modified Mathlib/Tactic/FunProp/RefinedDiscrTree.lean

Modified Mathlib/Tactic/FunProp/Theorems.lean

Modified Mathlib/Topology/Instances/RatLemmas.lean