Theorem CategoryTheory.inv_whiskerLeft

Modification history