Def CategoryTheory.LiftAdjoint.otherMap

Modification history