Theorem CategoryTheory.Over.tensorHom_left_snd

Modification history