Theorem CategoryTheory.Over.whiskerLeft_left_snd

Modification history