Theorem CategoryTheory.whiskerLeft_comp_whiskerRight

Modification history