Theorem CategoryTheory.Over.whiskerRight_left_snd

Modification history