Theorem CategoryTheory.whiskerRight_left

Modification history