Commit 2025-01-29 09:37 cc1af226

View on Github →

chore: cleanup simp priorities in CategoryTheory/ (#21164)

Estimated changes

Modified Mathlib/AlgebraicTopology/SimplicialObject/Split.lean

Modified Mathlib/CategoryTheory/Action/Basic.lean

Modified Mathlib/CategoryTheory/Limits/Cones.lean

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

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

Modified Mathlib/CategoryTheory/Shift/ShiftSequence.lean

Modified Mathlib/CategoryTheory/Shift/ShiftedHom.lean

Modified Mathlib/Topology/Category/TopCat/Opens.lean

modified theorem TopologicalSpace.Opens.map_id_obj_unop