Theorem CategoryTheory.Over.associator_hom_left_fst

Modification history