Theorem CategoryTheory.isoWhiskerLeft_trans

Modification history