Theorem CategoryTheory.isoWhiskerLeft_symm

Modification history