Theorem CategoryTheory.Over.whiskerLeft_left

Modification history