Theorem CategoryTheory.isoWhiskerRight_inv

Modification history