Theorem CategoryTheory.isoWhiskerRight_twice

Modification history