Def CategoryTheory.LiftRightAdjoint.otherMap

Modification history