Commit 2024-04-30 04:53 c81020ba

View on Github →

chore: minor backports from nightly-testing (#12531)

Estimated changes

Modified Mathlib/CategoryTheory/Shift/Basic.lean

Modified Mathlib/Combinatorics/SimpleGraph/Coloring.lean

Modified Mathlib/LinearAlgebra/CliffordAlgebra/Equivs.lean

Modified Mathlib/RingTheory/TensorProduct/Basic.lean