Commit 2025-07-06 01:51 d3c4dca4

View on Github →

chore: golf Algebra/ using tauto (#26797)

Estimated changes

Modified Mathlib/Algebra/Category/ModuleCat/Sheaf.lean

Modified Mathlib/Algebra/Category/ModuleCat/Sheaf/PullbackContinuous.lean

Modified Mathlib/Algebra/Group/Indicator.lean

Modified Mathlib/Algebra/Homology/HomotopyCategory/Shift.lean

Modified Mathlib/Algebra/Lie/TensorProduct.lean

Modified Mathlib/Algebra/Lie/Weights/Linear.lean