Theorem CategoryTheory.isoWhiskerLeft_right

Modification history