Theorem CategoryTheory.Over.associator_hom_left_snd_fst

Modification history