Def CategoryTheory.isoWhiskerLeft

Modification history