Def CategoryTheory.LiftRightAdjoint.unitEqualizes

Modification history

2026-10-07 01:57

Mathlib/CategoryTheory/Adjunction/Lifting/Right.lean

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

Added CategoryTheory.LiftRightAdjoint.unitEqualizes View on Github →