Theorem CategoryTheory.isoWhiskerRight_hom

Modification history