Theorem CategoryTheory.isoWhiskerLeft_hom

Modification history