Theorem CategoryTheory.isoWhiskerRight_trans

Modification history