Theorem CategoryTheory.isoWhiskerRight_left

Modification history