Theorem CategoryTheory.isoWhiskerLeft_inv

Modification history