Theorem CategoryTheory.Center.whiskerLeft_comm

Modification history