Def CategoryTheory.Comma.mapLeftId

Modification history