Theorem CategoryTheory.Over.associator_hom_left_snd_snd

Modification history