Theorem CategoryTheory.Over.tensorHom_left_fst

Modification history