Commit 2024-03-21 15:28 8a8d3883

View on Github →

chore: work around simp issues in future nightlies (#11546)

Estimated changes

Modified Mathlib/CategoryTheory/CofilteredSystem.lean

Modified Mathlib/Control/Fold.lean

Modified Mathlib/Data/DFinsupp/WellFounded.lean

Modified Mathlib/Data/Nat/Bitwise.lean

Modified Mathlib/Data/Rel.lean

Modified Mathlib/Data/Subtype.lean

added theorem Subtype.map_def

Modified Mathlib/Geometry/Euclidean/Inversion/Basic.lean

added theorem EuclideanGeometry.inversion_def

Modified Mathlib/Geometry/Euclidean/Inversion/Calculus.lean

Modified Mathlib/Init/Function.lean

added theorem Function.swap_def

Modified Mathlib/Probability/Martingale/Upcrossing.lean

Modified Mathlib/Probability/Process/HittingTime.lean

added theorem MeasureTheory.hitting_def

Modified Mathlib/Topology/List.lean