Theorem CategoryTheory.isoWhiskerLeft_twice

Modification history