Theorem CategoryTheory.whiskerLeft_twice

Modification history