Def CategoryTheory.Join.mapCompLeft

Modification history