Theorem CategoryTheory.whiskerRight_comp

Modification history