Def CategoryTheory.LiftLeftAdjoint.counitCoequalizes

Modification history

2026-10-07 01:57

Mathlib/CategoryTheory/Adjunction/Lifting/Left.lean

chore: rename `unitEqualises` and `counitCoequalises` to American spelling (#44520) …

Added CategoryTheory.LiftLeftAdjoint.counitCoequalizes View on Github →