Theorem CategoryTheory.isoWhiskerLeft_refl

Modification history