Theorem CategoryTheory.isoWhiskerLeft_trans_isoWhiskerRight

Modification history