Def CategoryTheory.LiftAdjoint.counitCoequalises

Modification history