Def CategoryTheory.Comma.mapRightId

Modification history