Theorem CategoryTheory.isoWhiskerRight_symm

Modification history