Theorem CategoryTheory.isoWhiskerRight_refl

Modification history