Commit 2026-10-07 01:57 e6bbacd0

View on Github →

chore: rename unitEqualises and counitCoequalises to American spelling (#44520) Renames LiftRightAdjoint.unitEqualises and LiftLeftAdjoint.counitCoequalises to unitEqualizes and counitCoequalizes, since declaration names use American spelling. 🤖 Generated with Claude Code

Estimated changes

Modified Mathlib/CategoryTheory/Adjunction/Lifting/Left.lean

deleted def CategoryTheory.LiftLeftAdjoint.counitCoequalises

added def CategoryTheory.LiftLeftAdjoint.counitCoequalizes

Modified Mathlib/CategoryTheory/Adjunction/Lifting/Right.lean

deleted def CategoryTheory.LiftRightAdjoint.unitEqualises

added def CategoryTheory.LiftRightAdjoint.unitEqualizes